Sommerudsalg - Op til 60 % rabat
Alle 1 A Voronkov-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
![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 Bog) [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-bog&class=scaled&v=1518030538)