Freunden von diesem Artikel berichten:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
Preis
Fr. 108,49
Bestellware
Lieferdatum: ca. 10. - 22. Jul
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
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
![Cover for Zbigniew Stachniak · Lesniewski's Systems Protothetic - Nijhoff International Philosophy Series (Gebundenes Buch) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/046/9780792345046.jpg?zbigniew-stachniak-1998-lesniewski-s-systems-protothetic-nijhoff-international-philosophy-series-gebundenes-buch&class=scaled&v=1410097823)
![Cover for Zbigniew Stachniak · S. Lesniewski's Lecture Notes in Logic - Nijhoff International Philosophy Series (Gebundenes Buch) [1988 edition] (1988)](https://imusic.b-cdn.net/images/item/original/160/9789024734160.jpg?zbigniew-stachniak-1988-s-lesniewski-s-lecture-notes-in-logic-nijhoff-international-philosophy-series-gebundenes-buch&class=scaled&v=1497032127)
Alle Titel von Zbigniew Stachniak ansehen ( u. a. Gebundenes Buch und Taschenbuch )