Vinkkaa tuotetta kavereillesi:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
Hinta
€ 127,99
Tilattu etävarastosta
Arvioitu toimitus ma - ke 9. - 18. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
Löytyy myös muodossa:
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 | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | tiistai 30. huhtikuuta 1996 |
| ISBN13 | 9780792340171 |
| Tuottaja | Kluwer Academic Publishers |
| Sivujen määrä | 208 |
| Mitta | 156 × 234 × 14 mm · 498 g |
| Kieli | English |
Näytä kaikki
Lisää tuotteita 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)
Katso kaikki joka sisältää Zbigniew Stachniak ( Esim. Hardcover Book Ja Paperback Book )