Matches in VIAF for { <http://viaf.org/viaf/136702481> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 136702481 alternateName "CADE".
- 136702481 alternateName "Conference on Automated Deduction (5th : 1980 : Les Arcs, France)".
- 136702481 alternateName "Conference on Automated Deduction 5 1980 Les Arcs".
- 136702481 alternateName "Conference on Automated Deduction".
- 136702481 alternateName "Conference on automated deduction (5 : 1980 : Les Arcs, France)".
- 136702481 alternateName "International Conference on Automated Deduction".
- 136702481 name "Conference on Automated Deduction".
- 136702481 name "Conference on automated deduction".
- 136702481 sameAs 2062117-6.
- 136702481 sameAs id.
- 136702481 type Organization.
- 136702481 seeAlso skos:Concept.