Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 000000007867361X | 1 hits
Person
ISNI: 
0000 0000 7867 361X
Name: 
Carreño, Victor A.
Dates: 
1956-
Related names: 
Muñoz, César A. (1968-)
Tahar, Sofiène (1966-)
TPHOLs 2002 (2002 : Hampton, Va.)
Titles: 
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
TPHOLs 2002 (15th : 2002 : Hampton, Va.). Theorem proving in higher order logics, 2002:
Notes: 
Sources: 
VIAF LAC LC WKP