National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Mehlhorn, Kurt
URI:
http://urn.fi/URN:NBN:fi:bib:me:P00161982602
name
Mehlhorn, Kurt
Authored works
Works contributed to
A fast algorithm for renaming a set of clauses as a horn set
Works about Mehlhorn, Kurt
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD