CALCULEMUS Autumn School 2002: Course Notes (Part II) (bibtex)
by Unknown
Abstract:
This are the notes (Part II) of the courses presented at the Calculemus Autumn School 2002 in Pisa.
Reference:
CALCULEMUS Autumn School 2002: Course Notes (Part II), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-08, pp. 1-130, 2002. (Url (preprint): http://christoph-benzmueller.de/papers/E3.pdf)
Bibtex Entry:
@proceedings{E3,
  Abstract =	 {This are the notes (Part II) 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 =	 {(130 pages)},
  Number =	 {SR-02-08},
  Pages =	 {1-130},
  Publisher =	 {SEKI Publications (ISSN 1437-4447)},
  Title =	 {{CALCULEMUS Autumn School 2002: Course Notes (Part
                  II)}},
  Type =	 {SEKI Report},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/E3.pdf}},
  Year =	 2002,
}
Powered by bibtexbrowser