|
Search the dblp DataBase
Arnim Buch:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Arnim Buch, Thomas Hillenbrand, Roland Fettig
WALDMEISTER: High Performance Equational Theorem Proving. [Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:63-64 [Conf]
- Thomas Hillenbrand, Arnim Buch, Roland Fettig
On Gaining Efficiency in Completion-Based Theorem Proving. [Citation Graph (0, 0)][DBLP] RTA, 1996, pp:432-435 [Conf]
- Arnim Buch, Bernhard Humm
Substance, People, and Tools - Knowledge Management at sd&m. [Citation Graph (0, 0)][DBLP] Wissensmanagement, 2005, pp:115-118 [Conf]
- Arnim Buch, Bernhard Humm
Substance, People, and Tools - Knowledge Management at sd&m. [Citation Graph (0, 0)][DBLP] Wissensmanagement (LNCS Volume), 2005, pp:82-85 [Conf]
- Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner
WALDMEISTER - High-Performance Equational Deduction. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:265-270 [Journal]
Search in 0.002secs, Finished in 0.002secs
|