Publikation
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, USA, Pages 141-145, Lecture Notes in Artificial Intelligence (LNAI), Vol. 1104, Springer, 1996.
@inproceedings{pub1614, author = { Weidenbach, Christoph and Gaede, Bernd and Rock, Georg }, editor = { McRobbie, M. and Slaney, J. }, title = {SPASS & FLOTTER, Version 0.42}, booktitle = {13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction (CADE), 13th, July 30-3, New Brunswick, NJ, United States}, series = {Lecture Notes in Artificial Intelligence (LNAI)}, year = {1996}, volume = {1104}, pages = {141--145}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023