Travelled to:1 × Germany
1 × USA
Collaborated with:B.Humm T.Hillenbrand R.Fettig
Talks about:substanc (1) knowledg (1) theorem (1) complet (1) effici (1) prove (1) peopl (1) manag (1) tool (1) gain (1)
Person: Arnim Buch
DBLP: Buch:Arnim
Contributed to:
2005
1996Wrote 2 papers:
- LSO-2005-BuchH #information management #people #tool support
- Substance, People, and Tools — Knowledge Management at sd&m (AB, BH), pp. 115–118.
- RTA-1996-HillenbrandBF #on the #performance #proving #theorem proving
- On Gaining Efficiency in Completion-Based Theorem Proving (TH, AB, RF), pp. 432–435.