Problem-Oriented Applications of Automated Theorem Proving.
Wolfgang Bibel, Daniel Korn, Christoph Kreitz, Stephan Schmitt.
In J. Calmet & C. Limongelli, eds., 4th International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96), LNCS 1128, pp. 1-21, Springer Verlag, 1996.
Abstract
	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.

		Paper is available in postscript and pdf format		Slides of the conference presentation are available in compressed postscript and pdf format (Presentation: Wolfgang Bibel)
Bibtex Entry					Back to overview of papers
	@InProceedings{inp:Bibel+96a, author = "Wolfgang Bibel and Daniel Korn and Christoph Kreitz and Stephan Schmitt", title = "Problem-Oriented Applications of Automated Theorem Proving", booktitle = "Design and Implementation of Symbolic Computation Systems", year = 1996, editor = "J. Calmet and C. Limongelli", volume = 1126, series = "Lecture Notes in Computer Science", pages = "1--21", publisher = "Springer Verlag" }