Matches in VIAF for { <http://viaf.org/viaf/153117723> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 153117723 alternateName "CADE".
- 153117723 alternateName "CADE-10".
- 153117723 alternateName "Conference on Automated Deduction".
- 153117723 alternateName "International Conference on Automated Deduction 10 1990 Kaiserslautern".
- 153117723 alternateName "International conference on automated deduction (10 : 1990 : Kaiserslautern, Allemagne)".
- 153117723 name "International Conference on Automated Deduction".
- 153117723 name "International conference on automated deduction".
- 153117723 sameAs 2112021-3.
- 153117723 sameAs id.
- 153117723 type Organization.
- 153117723 seeAlso skos:Concept.