Search: An Interactive Proof Development Environment
1999
[1] An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant? (Jörg Siekmann, Helmut Horacek, Michael Kohlhase, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Stephan Hess, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge), In International Journal of Computing Anticipatory Systems (CASYS), volume 3, pp. 101-110, 1999. [bibtex] [pdf]
Powered by bibtexbrowser