Alla 1s utgivelser på R J Boulton
Kategorier
Annan
Kundservice
SEK
I lager hos iMusic
Visa slutsålda utgivelser
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1572678661)