Displaying results 1 to 2 of 2.

Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

To the publication

In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9), May 23-26, Argonne, IL, USA, Pages 517-526, Lecture Notes in Computer Science (LNCS), Vol. 310, Springer, 1988.

To the publication


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