University of Birmingham
University / College
Location:
Birmingham,
United Kingdom (GB)
ISNI: 0000000419367486
ROR: https://ror.org/03angcq70
Show on Map:
Omega MEGA: Towards a mathematical assistant (1997)
Benzmüller C, Huang X, Kohlhase M, Kerber M, Melis E, Siekmann J, Sorge V
Conference contribution, Original article
Integrating computer algebra with proof planning (1996)
Kerber M, Kohlhase M, Sorge V
Conference contribution, Original article
The proof development environment Ω-MKRP (1996)
Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J
Journal article, Original article
Ω-MKRP: A proof development environment (1994)
Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J
Conference contribution, Original article
Keim: A toolkit for automated deduction (1994)
Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J
Conference contribution, Original article
A mechanization of strong Kleene logic for partial functions (1994)
Kerber M, Kohlhase M
Conference contribution, Original article
Adapting methods to novel tasks in proof planning (1994)
Huang X, Kerber M, Kohlhase M, Richts J
Conference contribution, Original article