Pastāsti draugiem par šo preci:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic W. Snyder Softcover Reprint of the Original 1st Ed. 1991 edition
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic
W. Snyder
178 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 30. septembris |
| ISBN13 | 9781461267584 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 178 |
| Izmēri | 155 × 235 × 10 mm · 272 g |
| Valoda | Angļu |