Rebajas de verano - Hasta un 60 % de descuento
Todos los 1 J Hurd lanzamientos en Paperback Book
Categorías
Otros
Atención al cliente
EUR
![Cover for J Hurd · Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/720/9783540283720.jpg?j-hurd-2005-theorem-proving-in-higher-order-logics-18th-international-conference-tphols-2005-oxford-uk-august-22-25-2005-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1623030371)