Languages
Munoz, Cesar A.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Theorem proving in higher order logics15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
by:
(1998 :); Carreno, Victor A.; Munoz, Cesar A.; SpringerLink (Online service); Tahar, Sofiene.
(Electronic resources)
Interactive theorem proving8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(1998 :); Ayala-Rincon, Mauricio.; Munoz, Cesar A.; SpringerLink (Online service)
(Electronic resources)