[Logic-I] Questions for the logic exam (lecture and exercises)
Bruno Buchberger
Bruno.Buchberger@risc.uni-linz.ac.at
Wed, 23 Jan 2002 10:26:05 +0100
--=====================_47969971==_.ALT
Content-Type: text/plain; charset="us-ascii"; format=flowed
Dear logic students,
the questions for the exam are now available on my web site, see downloads,
file Guide.nb or Guide.ps
The questions in the written exams will be chosen from the questions in
this file.
Please study carefully, best wishes, Bruno Buchberger.
Bruno Buchberger, Dr phil, DDr hc
Professor of Computer Mathematics
Research Institute for Symbolic Computation
Johannes Kepler University, A4232 Castle of Hagenberg, Austria
Phone office: ++43 732 2468 9941
Mobile Phone: ++43 664 4211646
Fax: ++43 732 2468 9930
E-mail: Buchberger@RISC.Uni-Linz.ac.at
WWW: http://www.risc.uni-linz.ac.at/people/buchberg/
--=====================_47969971==_.ALT
Content-Type: text/html; charset="us-ascii"
Dear logic students,
the questions for the exam are now available on my web site, see
downloads,
file Guide.nb or Guide.ps
The questions in the written exams will be chosen from the questions in
this file.
Please study carefully, best wishes, Bruno Buchberger.
Bruno Buchberger, Dr phil, DDr hc
Professor of Computer Mathematics
Research Institute for Symbolic Computation
Johannes Kepler University, A4232 Castle of Hagenberg,
Austria
Phone office: ++43 732 2468 9941
Mobile Phone: ++43 664 4211646
Fax: ++43 732 2468 9930
E-mail: Buchberger@RISC.Uni-Linz.ac.at
--=====================_47969971==_.ALT--