Pastāsti draugiem par šo preci:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Zbigniew Stachniak Softcover Reprint of the Original 1st Ed. 1996 edition
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series
Zbigniew Stachniak
223 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2011. gada 1. oktobris |
| ISBN13 | 9789401072519 |
| Izdevēji | Springer |
| Lapas | 208 |
| Izmēri | 160 × 240 × 12 mm · 326 g |
Vairāk no tā paša izdevēja
Skatīt visus Zbigniew Stachniak ( piem., Hardcover Book un Paperback Book )