Computer Supported Mathematics with OMEGA (bibtex)
by Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Reference:
Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/J12.pdf)
Bibtex Entry:
@article{J12,
  Author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and
                  Serge Autexier},
  Doi =		 {10.1016/j.jal.2005.10.008},
  Journal =	 {Journal of Applied Logic},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Automated Reasoning, Proof Planning, System
                  Integration, Agents, ERIH PLUS},
  Number =	 4,
  Pages =	 {533-559},
  Title =	 {Computer Supported Mathematics with {OMEGA}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J12.pdf}},
  Volume =	 4,
  Year =	 2006,
}
Powered by bibtexbrowser