Publications

Displaying results 21 to 26 of 26

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: Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence ISBN 9780745804095 Ellis Horwood 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: Journal of Symbolic Computation 8, Special Issue on Unification Pages 3-49 Elsevier 1989.

To the publication

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