Ω-MKRP: A proof development environment

Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J (1994)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1994

Publisher: Springer Verlag

Pages Range: 788-792

ISBN: 9783540581567

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84961346097&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

University of Birmingham GB United Kingdom (GB) Universität des Saarlandes (UdS) DE Germany (DE)

How to cite

APA:

Huang, X., Kerber, M., Kohlhase, M., Melis, E., & Siekmann, J. (1994). Ω-MKRP: A proof development environment. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 788-792). Springer Verlag.

MLA:

Huang, Xiaorong, et al. "Ω-MKRP: A proof development environment." Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 Springer Verlag, 1994. 788-792.

BibTeX: Download