Matches in VIAF for { <http://viaf.org/viaf/sourceID/LC%7Cnb2012023921#skos:Concept> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "Conference on Interactive Theorem Proving, International".
- skos:Concept altLabel "International Conference on Interactive Theorem Proving".
- skos:Concept exactMatch nb2012023921.
- skos:Concept inScheme LC.
- skos:Concept prefLabel "ITP (Conference)".
- skos:Concept focus 274210089.