Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Bücher - Springer - 9789401072519 - 1. Oktober 2011
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

Zbigniew Stachniak

Preis
€ 120,49

Bestellware

Lieferdatum: ca. 24. Jun - 4. Jul
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

223 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 1. Oktober 2011
ISBN13 9789401072519
Verlag Springer
Seitenanzahl 208
Maße 160 × 240 × 12 mm   ·   326 g

Alle anzeigen

Weitere Titel von Zbigniew Stachniak