OMEGA: Computer Supported Mathematics (bibtex)
by Jörg Siekmann, Christoph Benzmüller
Reference:
OMEGA: Computer Supported Mathematics (Jörg Siekmann, Christoph Benzmüller), In KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings (Susanne Biundo, Thom W. Frühwirth, Günther Palm, eds.), LNCS, number 3228, pp. 3-28, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/C15.pdf)
Bibtex Entry:
@inproceedings{C15,
  Address =	 {Ulm, Germany},
  Author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller},
  Booktitle =	 {KI 2004: Advances in Artificial Intelligence, 27th
                  Annual German Conference on AI, KI 2004, Ulm,
                  Germany, September 20-24, 2004, Proceedings},
  Doi =		 {10.1007/978-3-540-30221-6_2},
  Editor =	 {Susanne Biundo and Thom W. Fr{\"u}hwirth and
                  G{\"u}nther Palm},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Automated Reasoning, Proof Planning, System
                  Integration},
  Number =	 3228,
  Pages =	 {3-28},
  Series =	 {LNCS},
  Title =	 {{OMEGA}: Computer Supported Mathematics},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C15.pdf}},
  Year =	 2004,
}
Powered by bibtexbrowser