All 1 A Voronkov releases on Paperback Book
Categories
Other
Support
AUD
In stock at iMusic
Show unavailable items
![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)