Ihre Suche nach „Wolfgang Rüfner“ in „Informatik & EDV“
53.49 €
53.49 €
160.49 €
106.99 €
53.49 €
106.99 €
128.39 €
53.49 €
53.49 €
160.49 €
106.99 €
The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu
53.49 €
53.49 €
106.99 €
96.29 €
160.49 €
53.49 €
149.79 €
106.99 €
213.99 €
53.49 €
171.19 €
53.49 €
53.49 €
42.79 €