Carreño, Victor A., 1956-
Carreño, Victor A.
Víctor A. Carreño
VIAF ID: 10766565 ( Personal )
Permalink: http://viaf.org/viaf/10766565
Preferred Forms
-
-
- 100 1 _ ‡a Carreño, Victor A., ‡d 1956-
-
-
- 100 0 _ ‡a Víctor A. Carreño
- 100 0 _ ‡a Víctor A. Carreño
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings |