 | 2005 |
|---|
| 5 |       | Arnim Buch,
Bernhard Humm:
Substance, People, and Tools - Knowledge Management at sd&m.
Wissensmanagement 2005: 115-118 |
| 4 |  | Arnim Buch,
Bernhard Humm:
Substance, People, and Tools - Knowledge Management at sd&m.
Wissensmanagement (LNCS Volume) 2005: 82-85 |
| 1997 |
|---|
| 3 | | Thomas Hillenbrand,
Arnim Buch,
Roland Vogt,
Bernd Löchner:
WALDMEISTER - High-Performance Equational Deduction.
J. Autom. Reasoning 18(2): 265-270 (1997) |
| 1996 |
|---|
| 2 | | Arnim Buch,
Thomas Hillenbrand,
Roland Fettig:
WALDMEISTER: High Performance Equational Theorem Proving.
DISCO 1996: 63-64 |
| 1 | | Thomas Hillenbrand,
Arnim Buch,
Roland Fettig:
On Gaining Efficiency in Completion-Based Theorem Proving.
RTA 1996: 432-435 |
Data released under the ODC-BY 1.0 license — See also our legal information page