Publikation
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.
@inproceedings{pub1551, author = { Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel }, editor = { H.Ganzinger, }, title = {System Description: INKA 5.0 - A Logical Voyager}, booktitle = {Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento}, year = {1999}, address = {Trento, Italy}, publisher = {Springer-Verlag, LNAI 1632} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023