Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e date "May 1989".
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e first1 "Gert".
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e isCitedBy Many-sorted_logic.
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e last1 "Smolka".
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e publisher "Univ. Kaiserslautern, Germany".
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e title "Logic Programming over Polymorphically Order-Sorted Types".