Publikation

Adapting a Resolution Calculus for Inductive Proofs

Dieter Hutter

In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-92) August 3-7 Wien Austria Seiten 65-69 ISBN 0-471-93608-1 John Wiley & Sons, Inc. New York 1992.

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