Publikation

A Resolution Principle for Clauses with Constraints

Hans-Jürgen Bürckert

In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10) 10th July 24-27 Kaiserslautern Germany Seiten 178-192 Lecture Notes in Artificial Intelligence (LNAI) 449 Springer Berlin - Heidelberg 1990.

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