Proof development with Ωmega
Kohlhase M, Siekmann J, Benzmüller C, Franke A, Melis E, Normann I, Sorge V (2002)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2002
Publisher: Springer Verlag
Book Volume: 2392
Pages Range: 144-149
ISBN: 9783540439318
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84948980176&origin=inward
Authors with CRIS profile
Involved external institutions
Universität des Saarlandes (UdS)
Germany (DE)
University of Birmingham
United Kingdom (GB)
Freie Universität Berlin
Germany (DE)
Germany (DE)
University of Birmingham
United Kingdom (GB)
Freie Universität Berlin
Germany (DE)
How to cite
APA:
Kohlhase, M., Siekmann, J., Benzmüller, C., Franke, A., Melis, E., Normann, I., & Sorge, V. (2002). Proof development with Ωmega. In Proceedings of the 18th International Conference on Automated Deduction, CADE 2002 (pp. 144-149). Springer Verlag.
MLA:
Kohlhase, Michael, et al. "Proof development with Ωmega." Proceedings of the 18th International Conference on Automated Deduction, CADE 2002 Springer Verlag, 2002. 144-149.
BibTeX: Download