Media type: E-Article Title: Die Beweisentwicklungsumgebung $\Omega$ -M krp Contributor: Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Melis, Erica; Nesmith, Dan; Richts, Jörn; Siekmann, Jörg imprint: Springer Science and Business Media LLC, 1996 Published in: Informatik - Forschung und Entwicklung Language: Not determined DOI: 10.1007/s004500050036 ISSN: 0178-3564; 0949-2925 Keywords: General Computer Science ; General Computer Science Origination: Footnote: