The proof development environment Ω-MKRP

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

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 1996

Journal

Informatik - Forschung und Entwicklung Springer Verlag

Book Volume: 11

Pages Range: 20-26

Journal Issue: 1

DOI: 10.1007/s004500050036

Authors with CRIS profile

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

Involved external institutions

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

How to cite

APA:

Huang, X., Kerber, M., Kohlhase, M., Melis, E., Richts, J., & Siekmann, J. (1996). The proof development environment Ω-MKRP. Informatik - Forschung und Entwicklung, 11(1), 20-26. https://doi.org/10.1007/s004500050036

MLA:

Huang, Xiaorong, et al. "The proof development environment Ω-MKRP." Informatik - Forschung und Entwicklung 11.1 (1996): 20-26.

BibTeX: Download