Publikation

SPASS & FLOTTER, Version 0.42

Christoph Weidenbach, Bernd Gaede, Georg Rock

In: M. McRobbie , J. Slaney (Hrsg.). 13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction (CADE) 13th July 30-3 New Brunswick NJ United States Seiten 141-145 Lecture Notes in Artificial Intelligence (LNAI) 1104 Springer 1996.

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