by Unknown
Reference:
The CALCULEMUS Midterm Report, (Christoph Benzmüller, Corinna Hahn, eds.), Saarland University, Germany, 2003. (Url (preprint): http://christoph-benzmueller.de/papers/R22.pdf)
Bibtex Entry:
@book{R22,
Editor = {Christoph Benzm{\"u}ller and Corinna Hahn},
Keywords = {own, CALCULEMUS, Symb. Computation and
Symb. Reasoning},
Note = {EU Report, Saarland University, Saarbr{\"u}cken,
Germany},
Publisher = {Saarland University, Germany},
Title = {The CALCULEMUS Midterm Report},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/R22.pdf}},
Year = 2003,
}