Foundations of Automatic Theorem Proving, Second Edition
Buch | Softcover
2015
|
Dover Publications Inc.
ISBN: 9780486780825
CHF 47,95 (inkl. MwSt)
jetzt vorbestellen
- Titel z.Zt. nicht lieferbar