Fortell venner om denne varen:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
Pris
NOK 1.069
Bestillingsvarer
Forventes levert 12. - 20. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes 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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. april 1996 |
| ISBN13 | 9780792340171 |
| Utgivere | Kluwer Academic Publishers |
| Antall sider | 208 |
| Mål | 156 × 234 × 14 mm · 498 g |
| Språk | Engelsk |
Vis alle
Mer med Zbigniew Stachniak
![Cover for Zbigniew Stachniak · Lesniewski's Systems Protothetic - Nijhoff International Philosophy Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1410097823)
![Cover for Zbigniew Stachniak · S. Lesniewski's Lecture Notes in Logic - Nijhoff International Philosophy Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1497032127)
Se alt med Zbigniew Stachniak ( f.eks. Innbunden bok og Pocketbok )