Languages
Mohamed, Otmane Ait.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
Mohamed, Otmane Ait.; Munoz, Cesar.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Tahar, Sofiene.
(Electronic resources)