Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Martin Giese - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783642027154 - 24. júna 2009
V prípade, že obal a názov nesedia, platí názov

Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 6. - 16. nov
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Martin Giese
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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  

Viac od Martin Giese

Viac od toho istého vydavateľa