Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Martin Giese - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642027154 - 24. junija 2009
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 59,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 31. avg - 14. sep
Prejemajte obvestila o novih izdajah izvajalca Martin Giese
Dodaj na svoj seznam želja iMusic

Not rated yet

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 vse

Več od istega **izdajatelja**