Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Bücher - Springer - 9780792351290 - 30. Juni 1998
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

W Bibel
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

Preis
SFr. 168,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 30. Juni 1998
ISBN13 9780792351290
Verlag Springer
Seitenanzahl 481
Maße 160 × 242 × 33 mm   ·   884 g
Sprache Englisch  
Redakteur Bibel, Wolfgang
Redakteur Schmitt, P.H.

Weitere Titel von W Bibel

Alle anzeigen

Alle Titel von W Bibel ansehen ( u. a. Taschenbuch und Gebundenes Buch )