MayDay Sale → Spar opptil 60 %
Alle 1 Otmane Ait Mohamed utgivelser på Pocketbok
Kategorier
Annen
Kundeservice
NOK
![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)