Matches in VIAF for { <http://viaf.org/viaf/126397036> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- 126397036 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 126397036 alternateName "TPHOLs '99 (12 ; 1999 ; Nicea)".
- 126397036 alternateName "TPHOLs 12 1999 Nizza".
- 126397036 name "TPHOLs '99".
- 126397036 name "TPHOLs".
- 126397036 sameAs 2178581-8.
- 126397036 type Organization.
- 126397036 seeAlso skos:Concept.