Publications

Displaying results 1 to 10 of 10

International Workshop on Unification (UNIF-89) 3rd June 26-28 Lambrecht Germany SEKI Reports SR-89-17 Universität Kaiserslautern 1989.

To the publication

In: Deduction Systems in Artificial Intelligence. Pages 177-202 Ellis Horwood 1989.

To the publication

In: Deduction Systems in Artificial Intelligence. Pages 141-153 Ellis Horwood Series in Artificial Intelligence Ellis Horwood 1989.

To the publication

Ellis Horwood Series in Artificial Intelligence Ellis Horwood 1989.

To the publication

In: Journal of Symbolic Computation 8, Special Issue on Unification Pages 3-49 Elsevier 1989.

To the publication

In: Journal of Automated Reasoning (JAR) 4 4 Pages 465-474 Springer Berlin - Heidelberg 1989.

To the publication

In: Journal of Symbolic Computation 8, Special Issue on Unification Pages 523-536 Elsevier 1989.

To the publication

In: Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence ISBN 9780745804095 Ellis Horwood 1989.

To the publication

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