Sommersalg - Opptil 60 % rabatt
Alle 1 A Voronkov utgivelser på Pocketbok
Kategorier
Annen
Kundeservice
NOK
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1518030538)