Sommer-Sale - Bis zu 60 % Rabatt
Alles von 1 A Voronkov auf Taschenbuch
Kategorien
Andere
Kundenservice
EUR
![Cover for A Voronkov · Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Lecture Notes in Artificial Intelligence (Taschenbuch) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/318/9783540439318.jpg?a-voronkov-2002-automated-deduction-cade-18-18th-international-conference-on-automated-deduction-copenhagen-denmark-july-27-30-2002-proceedings-lecture-notes-in-artificial-intelligence-taschenbuch&class=scaled&v=1518030538)