=ADD=
=reftype=
14
=number=
99-39
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-39.zip
=year=
1999
=month=
12
=author=
Buchberger; Bruno
=title=
Computer-Mathematik in der Schule
=abstract=
Schulung fuer AHS-Lehrer (6 Stunden), RISC, Hagenberg, 13. Dezember 1999.
=keywords=
automatic reasoning