Sommerudsalg - Op til 60 % rabat
Alle 1 R J Boulton-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
![Cover for R J Boulton · Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/250/9783540425250.jpg?r-j-boulton-2001-theorem-proving-in-higher-order-logics-14th-international-conference-tphols-2001-edinburgh-scotland-uk-september-3-6-2001-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1572678661)