Matches in VIAF for { <http://viaf.org/viaf/132330841> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- 132330841 alternateName "CiAD".
- 132330841 alternateName "International Workshop on Complexity in Automated Deduction 2 2002 Kopenhagen".
- 132330841 name "International Workshop on Complexity in Automated Deduction".
- 132330841 sameAs 10087969-X.
- 132330841 type Organization.
- 132330841 seeAlso skos:Concept.