Automated Theorem Proving: Theory and Practice
Springer (9781461265191) | Theory and, Automated Theorem Proving
Preis von (4 Angebote)120.34 EUR
Weitere Informationen
Automatisierte Theorembeweissoftware
Compare products, prices, offers and stores on Comparor to make a better informed purchase.
GesponsertDiese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
113.50 EUR
Siehe Produktangebot
Dieses Produkt im Comparor
KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte
Dieses Produkt wurde in anderen Ländern nicht gefunden
FarbenVorherrschende Farben des Produkts
Bezeichner
Marke
Springer US ist eine Marke, die sich auf den Verkauf von Büchern spezialisiert hat. Sie hat eine große Auswahl an verschiedenen Titeln und bietet ihren Kunden eine hohe Qualität.ID
52240323
First-Order Logic and Automated Theorem Proving
Springer (9781461275152)
Preis von (3 Angebote)92.94 EUR
Weitere Informationen
Automated Theorem Proving
Vieweg+Teubner Verlag (9783528085209) | Automated Theorem Proving
Preis von (2 Angebote)54.99 EUR
Weitere Informationen
Automated Theorem Proving: Theory and Practice
Springer (9780387950754) | Theory and, Automated Theorem Proving
Preis von (1 Angebote)164.99 EUR
Weitere Informationen
Sonnen- und UV-Schutzkleidung aus atmungsaktiver Seide für Damen, Größe A XL
Preis von (1 Angebote)54.99 EUR
Weitere Informationen
Machine Learning for Automated Theorem Proving by Sean B. Holden
Preis von (3 Angebote)111.10 EUR
Weitere Informationen