Pastāsti draugiem par šo preci:
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings - Lecture Notes in Artificial Intelligence Renate a Schmidt 2009 edition
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings - Lecture Notes in Artificial Intelligence
Renate a Schmidt
518 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2009. gada 10. jūlijs |
| ISBN13 | 9783642029585 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 504 |
| Izmēri | 155 × 235 × 28 mm · 771 g |
| Valoda | Franču |
| Redaktors | Schmidt, Renate |