The CALCULEMUS Midterm Report

Unknown

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,
}