Alle 1 Otmane Ait Mohamed-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
På lager hos iMusic
Vis udgåede udgivelser
![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 Bog) [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-bog&class=scaled&v=1464566606)