Ωmega: Towards a mathematical assistant
McCune, William (Hrsg). Automated Deduction — CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Berlin: Springer 1997 S. 252 - 255 (Lecture Notes in Computer Science (LNCS) ; 1249)
Erscheinungsjahr: 1997
ISBN/ISSN: 978-3-540-63104-0
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/3-540-63104-6_23
| Geprüft: | Bibliothek |
Autoren
Benzmüller, Christoph (Autor)
Cheikhrouhou, Lassaad (Autor)
Fehrer, Detlef (Autor)
Huang, Xiaorong (Autor)
Kerber, Manfred (Autor)
Kohlhase, Michael (Autor)
Konrad, Karsten (Autor)
Meier, Andreas (Autor)
Melis, Erica (Autor)
Schaarschmidt, Wolf (Autor)
Siekmann, Jörg (Autor)
Sorge, Volker (Autor)
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
