ΩMEGA: Towards a mathematical assistant
Benzmüller C, Huang X, Kohlhase M, Melis E, Siekmann J, Sorge V (1997)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 1997
Publisher: Springer Verlag
Book Volume: 1249
Pages Range: 252-255
ISBN: 9783540631040
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84860987429&origin=inward
Authors with CRIS profile
Involved external institutions
Universität des Saarlandes (UdS)
Germany (DE)
University of Birmingham
United Kingdom (GB)
Humboldt-Universität zu Berlin
Germany (DE)
Germany (DE)
University of Birmingham
United Kingdom (GB)
Humboldt-Universität zu Berlin
Germany (DE)
How to cite
APA:
Benzmüller, C., Huang, X., Kohlhase, M., Melis, E., Siekmann, J., & Sorge, V. (1997). ΩMEGA: Towards a mathematical assistant. In Proceedings of the 14th International Conference on Automated Deduction, CADE 1997 (pp. 252-255). Springer Verlag.
MLA:
Benzmüller, Christoph, et al. "ΩMEGA: Towards a mathematical assistant." Proceedings of the 14th International Conference on Automated Deduction, CADE 1997 Springer Verlag, 1997. 252-255.
BibTeX: Download