Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 24. junija 2009 |
| ISBN13 | 9783642027154 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 353 |
| Dimenzije | 155 × 235 × 20 mm · 544 g |
| Jezik | Francoščina |
Več od Martin Giese
Prikaži vseVeč od istega **izdajatelja**
Ogled vseh Martin Giese ( Na primer Paperback Book in Hardcover Book )