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