Matches in VIAF for { <http://viaf.org/viaf/153128776> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 153128776 alternateName "CADE".
- 153128776 alternateName "CADE-9".
- 153128776 alternateName "Conference on Automated Deduction".
- 153128776 alternateName "International Conference on Automated Deduction (9 : 1988 : Argonne, Illinois, Etats-Unis)".
- 153128776 alternateName "International Conference on Automated Deduction (9 ; 1988 ; Argonne)".
- 153128776 alternateName "International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)".
- 153128776 alternateName "International Conference on Automated Deduction 9 1988 Argonne, Ill".
- 153128776 name "International Conference on Automated Deduction".
- 153128776 sameAs 811721-4.
- 153128776 sameAs id.
- 153128776 type Organization.
- 153128776 seeAlso skos:Concept.