Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network (bibtex)
by Unknown
Reference:
Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network, (Christoph Benzmüller, ed.), SEKI Publications (ISSN 1437-4447), 2003. (135 pages)
Bibtex Entry:
@proceedings{E5,
  Editor =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, CALCULEMUS, Symb. Computation and
                  Symb. Reasoning},
  Note =	 {135 pages},
  Publisher =	 {SEKI Publications (ISSN 1437-4447)},
  Title =	 {Systems for Integrated Computation and Deduction --
                  Interim Report of the {CALCULEMUS} {IHP} Network},
  Url =       {http://christoph-benzmueller.de/papers/MTR-report-long.pdf},
  Year =	 2003,
}