Muñoz, César A. 1968-
Muñoz, César A.
VIAF ID: 106425506 ( Personal )
Permalink: http://viaf.org/viaf/106425506
Preferred Forms
-
- 100 1 _ ‡a Muñoz, César A., ‡d 1968-
-
-
- 100 1 _ ‡a Muñoz, César A. ‡d 1968-
Works
Title | Sources |
---|---|
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings |