by Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann
Reference:
VERMATH: Distributed Mathematical Problem Solving (Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-22, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R33.pdf)
Bibtex Entry:
@unpublished{R33,
Author = {Serge Autexier and Christoph Benzm\"uller and
Michael Kohlhase and J\"org Siekmann},
Note = {DFG research grant proposal},
Pages = {1-22},
Title = {VERMATH: Distributed Mathematical Problem Solving},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/R33.pdf}},
Year = 2004,
}