Matches in VIAF for { <http://viaf.org/viaf/142857830> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 142857830 alternateName "CADE (International Conference on Automated Deduction) 19 2003 Miami Beach, Fla".
- 142857830 alternateName "CADE 19".
- 142857830 alternateName "International Conference on Automated Deduction (19th : 2003 : Miami Beach, FL, USA)".
- 142857830 alternateName "International Conference on Automated Deduction".
- 142857830 name "CADE".
- 142857830 name "International Conference on Automated Deduction".
- 142857830 sameAs 10061099-7.
- 142857830 sameAs id.
- 142857830 type Organization.
- 142857830 seeAlso skos:Concept.