CALCULEMUS Autumn School 2002: Course Notes (Part I) (bibtex)
by Unknown
Abstract:
This are the notes (Part I) of the courses presented at the Calculemus Autumn School 2002 in Pisa.
Reference:
CALCULEMUS Autumn School 2002: Course Notes (Part I), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-07, pp. 1-168, 2002. (Preprint: http://christoph-benzmueller.de/papers/E2.pdf)
Bibtex Entry:
@proceedings{E2,
  Abstract =	 {This are the notes (Part I) of the courses presented
                  at the Calculemus Autumn School 2002 in Pisa.},
  Editor =	 {Christoph Benzm{\"u}ller and Regine Endsuleit},
  Keywords =	 {own, CALCULEMUS, Symb. Computation and
                  Symb. Reasoning},
  Note =	 {(168 pages)},
  Number =	 {SR-02-07},
  Pages =	 {1-168},
  Publisher =	 {SEKI Publications (ISSN 1437-4447)},
  Title =	 {{CALCULEMUS Autumn School 2002: Course Notes (Part
                  I)}},
  Type =	 {SEKI Report},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/E2.pdf}},
  Year =	 2002,
}