Fortæl dine venner om denne vare:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
Pris
DKK 1.049
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 20. jun.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. april 1996 |
| ISBN13 | 9780792340171 |
| Forlag | Kluwer Academic Publishers |
| Antal sider | 208 |
| Mål | 156 × 234 × 14 mm · 498 g |
| Sprog | Engelsk |
Vis alle
Mere med Zbigniew Stachniak
![Cover for Zbigniew Stachniak · Lesniewski's Systems Protothetic - Nijhoff International Philosophy Series (Hardcover bog) [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-bog&class=scaled&v=1410097823)
![Cover for Zbigniew Stachniak · S. Lesniewski's Lecture Notes in Logic - Nijhoff International Philosophy Series (Hardcover bog) [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-bog&class=scaled&v=1497032127)
Se alt med Zbigniew Stachniak ( f.eks. Hardcover bog og Paperback Bog )