Matches in VIAF for { <http://viaf.org/viaf/155473834> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- 155473834 alternateName "Automatic Theorem Proving, Special Session on".
- 155473834 alternateName "Session on Automatic Theorem Proving, Special".
- 155473834 alternateName "Special Session on Automatic Theorem Proving (1983 ; Denver)".
- 155473834 alternateName "Special Session on Automatic Theorem Proving 1983 Denver, Colo".
- 155473834 name "Special Session on Automatic Theorem Proving".
- 155473834 sameAs 5002483-8.
- 155473834 type Organization.
- 155473834 seeAlso skos:Concept.