BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Buch:Arnim

Contributed to:

LSO 20052005
RTA 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.