Matches in VIAF for { <http://viaf.org/viaf/sourceID/XR%7CVIAFWORK150389666#skos:Concept> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "Biere, Armin. Theory and Applications of Satisfiability Testing - SAT 2006 00 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings".
- skos:Concept altLabel "Biere, Armin. Theory and Applications of Satisfiability Testing - SAT 2006".
- skos:Concept inScheme XR.
- skos:Concept prefLabel "Biere, Armin. | Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings".
- skos:Concept focus 313972071.