%0 Thesis %1 phd/dnb/Korthauer91 %A Korthauer, Edgar %D 1991 %K dblp %P 1-130 %T Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur.

@phdthesis{phd/dnb/Korthauer91, added-at = {2021-07-17T00:00:00.000+0200}, author = {Korthauer, Edgar}, biburl = {https://www.bibsonomy.org/bibtex/29bb64d7f3394e2c2bdb448126eff7da1/dblp}, ee = {https://d-nb.info/920689507}, interhash = {6eb9221318bec1fd1bf7cfb3deea0693}, intrahash = {9bb64d7f3394e2c2bdb448126eff7da1}, keywords = {dblp}, pages = {1-130}, school = {Ruhr University Bochum, Germany}, timestamp = {2024-04-09T08:23:03.000+0200}, title = {Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur.}, year = 1991 }