An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant? (bibtex)
by 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
Reference:
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. (Url (preprint): http://christoph-benzmueller.de/papers/J3.pdf)
Bibtex Entry:
@article{J3,
  Author =	 {J{\"o}rg Siekmann and Helmut Horacek and Michael
                  Kohlhase and Christoph Benzm{\"u}ller and Lassaad
                  Cheikhrouhou and Detlef Fehrer and Armin Fiedler and
                  Stephan Hess and Karsten Konrad and Andreas Meier
                  and Erica Melis and Volker Sorge},
  Issn =	 {1373-5411},
  Journal =	 {International Journal of Computing Anticipatory
                  Systems (CASYS)},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Proof Presentation, User Interface},
  Pages =	 {101-110},
  Title =	 {An Interactive Proof Development Environment +
                  Anticipation = A Mathematical Assistant?},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J3.pdf}},
  Volume =	 3,
  Year =	 1999,
}
Powered by bibtexbrowser