Soldes d'été - Jusqu'à 60 %
Toutes les 1 R J Boulton sorties sur Paperback Book
Catégories
Autre
Service clientèle
EUR
![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 Book) [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-book&class=scaled&v=1572678661)