Rebajas de verano - Hasta un 60 % de descuento
Todos los 1 David a Mcallester lanzamientos en Paper... Book
Categorías
Otros
Atención al cliente
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 (Paperback Book) [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-paperback-book&class=scaled&v=1582739711)