Sommer-Sale - Bis zu 60 % Rabatt
Alles von 1 David a Mcallester auf Taschenbuch
Kategorien
Andere
Kundenservice
EUR
![Cover for David a Mcallester · Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/645/9783540676645.jpg?david-a-mcallester-2000-automated-deduction-cade-17-17th-international-conference-on-automated-deduction-pittsburgh-pa-usa-june-17-20-2000-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1582739711)