MayDay Sale → Spara upp till 60%
Alla 1s utgivelser på Otmane Ait Mohamed
Kategorier
Annan
Kundservice
SEK
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1464566606)