Publikation

Annotated Reasoning

Dieter Hutter

In: Annals of Mathematics and Artificial Intelligence (AMAI) 29 Kluwer Academic Publisher 2000.

Abstrakt

Special Issue on Strategies in Automated Deduction

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

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