Publikation
In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 277-288, Informatik-Fachberichte, Vol. 124, Springer, 1986.
@inproceedings{pub2363, author = { Bürckert, Hans-Jürgen }, editor = { Rollinger, Claus-Rainer and Horn, Werner }, title = {Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine}, booktitle = {Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria}, series = {Informatik-Fachberichte}, year = {1986}, volume = {124}, pages = {277--288}, publisher = {Springer}, note = {zusammen mit 2. Österreichische Artificial-Intelligence-Tagung} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023