Kaikki 1s julkaisut Otmane Ait Mohamed
Luokat
Muu
Asiakaspalvelu
EUR
Varastossa iMusicilla
Näytä loppuunmyydyt julkaisut
![Cover for Otmane Ait Mohamed · Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/653/9783540710653.jpg?otmane-ait-mohamed-2008-theorem-proving-in-higher-order-logics-21st-international-conference-tphols-2008-montreal-canada-august-18-21-2008-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1464566606)