Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Bücher - Kluwer Academic Publishers - 9780792340171 - 30. April 1996
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

Zbigniew Stachniak

Preis
Fr. 108,99

Bestellware

Lieferdatum: ca. 10. - 19. Dez
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:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

208 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 30. April 1996
ISBN13 9780792340171
Verlag Kluwer Academic Publishers
Seitenanzahl 208
Maße 156 × 234 × 14 mm   ·   498 g
Sprache Englisch  
Alle anzeigen

Weitere Titel von Zbigniew Stachniak

Alle Titel von Zbigniew Stachniak ansehen ( u. a. Gebundenes Buch und Taschenbuch )