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

Arnim Buch Vis

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

*2005
5 Arnim Buch, Bernhard Humm: Substance, People, and Tools - Knowledge Management at sd&m. Wissensmanagement 2005: 115-118
4EEArnim 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
2EEArnim Buch, Thomas Hillenbrand, Roland Fettig: WALDMEISTER: High Performance Equational Theorem Proving. DISCO 1996: 63-64
1EEThomas Hillenbrand, Arnim Buch, Roland Fettig: On Gaining Efficiency in Completion-Based Theorem Proving. RTA 1996: 432-435

Coauthor Index

1Roland Fettig [1] [2]
2Thomas Hillenbrand [1] [2] [3]
3Bernhard Humm [4] [5]
4Bernd Löchner [3]
5Roland Vogt [3]

Colors in the list of coauthors

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