Matches in VIAF for { <http://viaf.org/viaf/249986945> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 249986945 alternateName "CADE 13 1996 New Brunswick, NJ (International Conference on Automated Deduction)".
- 249986945 alternateName "CADE".
- 249986945 alternateName "Conference on Automated Deduction".
- 249986945 alternateName "International Conference on Automated Deduction (13 ; 1996 ; New Brunswick)".
- 249986945 alternateName "International Conference on Automated Deduction".
- 249986945 name "CADE".
- 249986945 name "International Conference on Automated Deduction".
- 249986945 sameAs 2156909-5.
- 249986945 type Organization.
- 249986945 seeAlso skos:Concept.