Matches in VIAF for { <http://viaf.org/viaf/305031189> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 305031189 alternateName "Conference on Interactive Theorem Proving".
- 305031189 alternateName "Conference on Interactive Theorem Proving, International".
- 305031189 alternateName "ITP (Conference) (4th : 2013 : Rennes, France)".
- 305031189 alternateName "ITP 4 2013 Rennes".
- 305031189 alternateName "International Conference on Interactive Theorem Proving".
- 305031189 name "ITP (Conference)".
- 305031189 name "ITP".
- 305031189 sameAs 1044264594.
- 305031189 type Organization.
- 305031189 seeAlso skos:Concept.