dblp.uni-trier.dewww.uni-trier.de

Jörn Richts Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
6EEStephan 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
4EEXiaorong 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
3EEXiaorong 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)

Coauthor Index

1Xiaorong Huang [1] [2] [3] [4] [5]
2Stephan Kepser [6]
3Manfred Kerber [1] [2] [3] [4] [5]
4Michael Kohlhase [2] [3] [4] [5]
5Erica Melis [3] [4] [5]
6Daniel Nesmith (Dan Nesmith) [3] [4] [5]
7Arthur Sehn [1]
8Jörg H. Siekmann [3] [4] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)