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
Book Volume: 11
Pages Range: 20-26
Journal Issue: 1
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