VIAF

Virtual International Authority File

Search

Carreño, Victor A. Wikipedia (en)-test German National Library ISNI-test

Carreño, Victor A., 1956- Library of Congress/NACO Library and Archives Canada

VIAF ID: 10766565 (Personal)

Permalink: http://viaf.org/viaf/10766565

ISNI-test: 0000  0000  7867  361X 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (1)

Open Section Close SectionWorks

Title Sources
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (1)

Open Section Close Section About

Open Section Close Section History of VIAF ID:10766565 (7)