Matches in VIAF for { <http://viaf.org/viaf/312584983> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- 312584983 alternateName "HOL".
- 312584983 alternateName "IFIP TC 10 WG 10 2 International Workshop on Higher Order Logic Theorem Proving and Its Applications".
- 312584983 alternateName "International Workshop on Higher Order Logic Theorem Proving and Its Applications 5 1992 Löwen".
- 312584983 name "International Workshop on Higher Order Logic Theorem Proving and Its Applications".
- 312584983 sameAs 2130591-2.
- 312584983 type Organization.
- 312584983 seeAlso skos:Concept.