SpringerLink DE 
Automated Theorem Proving: Theory and Practice
Springer (9781461265191) | Theory and, Automated Theorem Proving
Preis von (4 Angebote)120.34 EUR
Weitere Informationen
Automated Theorem Proving in Software Engineering
(9783642087592 / 46 black & white illustrations, 41 black)
GesponsertDiese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
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
Schumann, Johann M.
ISBN
Schumann, Johann M. 3642087590
MPN
Schumann, Johann M. 46 black & white illustrations, 41 black
ID
12568693
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)160.49 EUR
Weitere Informationen
Automated Theorem Proving in Software Engineering
Springer (9783540679899) | Proving in Software Engineering
Preis von (1 Angebote)53.49 EUR
Weitere Informationen
Automatisierte Theorembeweis-Software für Ingenieure
Preis von (2 Angebote)42.79 EUR
Weitere Informationen