Matches in VIAF for { <http://viaf.org/viaf/144128879> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 144128879 alternateName "CADE (International Conference on Automated Deduction) 22 2009 Montréal".
- 144128879 alternateName "CADE-22".
- 144128879 alternateName "International Conference on Automated Deduction".
- 144128879 alternateName "International conference on automated deduction (22 : 2009 : Montréal, Canada)".
- 144128879 name "CADE".
- 144128879 name "International conference on automated deduction".
- 144128879 sameAs 16015680-4.
- 144128879 sameAs id.
- 144128879 type Organization.
- 144128879 seeAlso skos:Concept.