Publikation

Extending the Warren Abstract Machine to Many-sorted PROLOG

Hans-Jürgen Bürckert

SEKI-Memo, Universität Kaiserslautern, SEKI-Memo, Vol. SEKI-85-07, 1985.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence