 | 1999 |
|---|
| 6 |       | Stephan Kepser,
Jörn Richts:
UNIMOK: A System for Combining Equational Unification Algorithm.
RTA 1999: 248-251 |
| 1996 |
|---|
| 5 |  | Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Erica Melis,
Dan Nesmith,
Jörn Richts,
Jörg H. Siekmann:
Die Beweisentwicklungsumgebung Omega-MKRP.
Inform., Forsch. Entwickl. 11(1): 20-26 (1996) |
| 1994 |
|---|
| 4 | | Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Erica Melis,
Dan Nesmith,
Jörn Richts,
Jörg H. Siekmann:
Omega-MKRP: A Proof Development Environment.
CADE 1994: 788-792 |
| 3 | | Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Erica Melis,
Dan Nesmith,
Jörn Richts,
Jörg H. Siekmann:
KEIM: A Toolkit for Automated Deduction.
CADE 1994: 807-810 |
| 2 | | Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Jörn Richts:
Adapting Methods to Novel Tasks in Proof Planning.
KI 1994: 379-390 |
| 1 | | Xiaorong Huang,
Manfred Kerber,
Jörn Richts,
Arthur Sehn:
Planning Mathematical Proofs with Methods.
Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 277-291 (1994) |
