Previous: AIDA-96-10 Next: AIDA-96-16 Index 1996

Intellectics Group: Technical Report 96-15

Wolfgang Bibel and Daniel Korn and Christoph Kreitz and Stephan Schmitt

Problem-Oriented Applications of Automated Theorem Proving

This paper provides an overall view of an approach to developing a coherent ATP-system which can deal with a variety of logics and with different applications in a tailored way. The paper also summarizes research results achieved in the course of this development.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry