Publikation

System Description: INKA 5.0 - A Logical Voyager

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE) Trento Springer-Verlag, LNAI 1632 1999.

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

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