Matches in VIAF for { <http://viaf.org/viaf/159005112> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- 159005112 alternateName "Dagstuhl Seminar Theorem Proving and Logic Programming with Constraints".
- 159005112 alternateName "Seminar Theorem Proving and Logic Programming with Constraints 1991 Dagstuhl".
- 159005112 name "Seminar Theorem Proving and Logic Programming with Constraints".
- 159005112 sameAs 5090392-5.
- 159005112 type Organization.
- 159005112 seeAlso skos:Concept.
- 159005112 seeAlso skos:Concept.