Matches in VIAF for { <http://viaf.org/viaf/148647842> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 148647842 alternateName "CADE (International Conference on Automated Deduction) 16 1999 Trient".
- 148647842 alternateName "CADE".
- 148647842 alternateName "Conference on Automated Deduction".
- 148647842 alternateName "International Conference on Automated Deduction (16 ; 1999 ; Trydent)".
- 148647842 alternateName "International Conference on Automated Deduction".
- 148647842 name "CADE".
- 148647842 name "International Conference on Automated Deduction".
- 148647842 sameAs 2177482-1.
- 148647842 type Organization.
- 148647842 seeAlso skos:Concept.