| Verlag |
|---|
Principles of automated Theorem proving.
| Verlag |
|---|
Beschreibung
Gr.-8°. XVIII, 243 S. , OPpbd., ehem. Bibl.-Ex. mit den entsprechenden Kennzeichnungen, sehr guter Zustand. ISBN 0471927848
Kommentar
€26,00
Ähnliche Produkte
Related products
- Ignatieff, Yurie A.Mathematik
The Mathematical World of Walter Noll. A Scientific Biography.
€59,00 Add to cart - Alekseev, Vladimir Mikhaïlovitch; Galéev, E.; Tikhomirov, Vladimir Mikhaïlovitch.Mathematik
Recueil de problèmes d’optimisation. (Traduit du russe par E. Makho).
€78,00 Add to cart - Necas, Jindrich; Hlavacek, Ivan.Mathematik
Mathematical Theory of Elastic and Elastico-Plastic Bodies: An Introduction.
€54,00 Add to cart - Baron, Gerd / Kirschenhofer, Peter.Mathematik
Einführung in die Mathematik für Informatiker. Band 2. 2, verbesserte Aufl.
€25,00 Add to cart
