Login / Signup
Die Beweisentwicklungsumgebung Omega-MKRP.
Xiaorong Huang
Manfred Kerber
Michael Kohlhase
Erica Melis
Dan Nesmith
Jörn Richts
Jörg H. Siekmann
Published in:
Inform. Forsch. Entwickl. (1996)
Keyphrases
</>