Zomer-Sale - Tot 60% korting
Alle 1 A Voronkov releases op Paperback Book
Categorieën
Andere
Klantenservice
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 (Paperback Book) [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-paperback-book&class=scaled&v=1518030538)