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.; Tahar, Sofiene.; SpringerLink (Online service)
(Electronic resources)