Publikation

Annotated Reasoning

Dieter Hutter

In: B. Gramlich , H. Kirchner , F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on Automated Deduction (CADE) 1999.

http://www.dfki.de/vse/papers/hutter99a.ps.gz (gz, 56 KB )

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