Alles von 1 R J Boulton auf Taschenbuch
Kategorien
Andere
Kundenservice
CHF
Auf Lager bei iMusic
Nicht verfügbare Artikel anzeigen
![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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1572678661)