Povedzte o tejto položke priateľom:
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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 24. júna 2009 |
| ISBN13 | 9783642027154 |
| Vydavatelia | Springer-Verlag Berlin and Heidelberg Gm |
| Strany | 353 |
| Rozmery | 155 × 235 × 20 mm · 544 g |
| Jazyk | Francúzština |