Pastāsti draugiem par šo preci:
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990, Proceedings (International Conference Proceedings) - Lecture Notes in Computer Science Mark E Stickel
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990, Proceedings (International Conference Proceedings) - Lecture Notes in Computer Science
Mark E Stickel
CADE is the major forum for research on all aspects of automated deduction. This title constitutes the proceedings of CADE-10.
708 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1990. gada 17. jūlijs |
| ISBN13 | 9783540528852 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 708 |
| Izmēri | 155 × 235 × 35 mm · 975 g |
| Valoda | Vācu |
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim