Data Portal @ linkeddatafragments.org
VIAF
Search VIAF by triple pattern
subject
predicate
object
Matches in VIAF for
{ ?s ?p International Conference on Automated Deduction (19th : 2003 : Miami Beach, FL, USA). }
Showing items 1 to 2 of
2
with
100
items per page.
142857830
alternateName
"
International Conference on Automated Deduction (19th : 2003 : Miami Beach, FL, USA)
"
.
skos:Concept
prefLabel
"
International Conference on Automated Deduction (19th : 2003 : Miami Beach, FL, USA)
"
.