Jrn Richts
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1994–1994
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | KI | Adapting Methods to Novel Tasks in Proof Planning. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jrn Richts |