Pastāsti draugiem par šo preci:
Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Martin Giese
Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Martin Giese
353 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2009. gada 24. jūnijs |
| ISBN13 | 9783642027154 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 353 |
| Izmēri | 155 × 235 × 20 mm · 544 g |
| Valoda | Franču |
Vairāk no Martin Giese
Rādīt visuMere med samme udgiver
Skatīt visus Martin Giese ( piem., Paperback Book un Hardcover Book )