Vertel uw vrienden over dit artikel:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
Prijs
€ 119,49
Besteld in een afgelegen magazijn
Verwachte levering 24 okt. - 5 nov.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar 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
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 30 april 1996 |
| ISBN13 | 9780792340171 |
| Uitgevers | Kluwer Academic Publishers |
| Pagina's | 208 |
| Afmetingen | 156 × 234 × 14 mm · 498 g |
| Taal en grammatica | Engels |
Alles tonen
Meer door Zbigniew Stachniak
![Cover for Zbigniew Stachniak · Lesniewski's Systems Protothetic - Nijhoff International Philosophy Series (Hardcover Book) [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-hardcover-book&class=scaled&v=1410097823)
![Cover for Zbigniew Stachniak · S. Lesniewski's Lecture Notes in Logic - Nijhoff International Philosophy Series (Hardcover Book) [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-hardcover-book&class=scaled&v=1497032127)
Bekijk alles van Zbigniew Stachniak ( bijv. Hardcover Book en Paperback Book )