Matches in VIAF for { <http://viaf.org/viaf/172379285> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- 172379285 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 172379285 alternateName "International Conference on Theorem Proving in Higher-Order Logics".
- 172379285 alternateName "International conference on theorem proving in higher order logics (20 : 2007 : Kaiserslautern, Allemagne)".
- 172379285 alternateName "TPHOLs 20 2007 Kaiserslautern".
- 172379285 alternateName "TPHOLs 2007 (2007 : Kaiserslautern, Germany)".
- 172379285 alternateName "TPHOLs 2007 (Kaiserslautern, Německo)".
- 172379285 alternateName "TPHOLs 2007".
- 172379285 name "International conference on theorem proving in higher order logics".
- 172379285 name "TPHOLs 2007".
- 172379285 name "TPHOLs".
- 172379285 sameAs 6067467-2.
- 172379285 sameAs id.
- 172379285 type Organization.
- 172379285 seeAlso skos:Concept.