=ADD=
=reftype=
14
=number=
99-40
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-40.ppt.gz
=year=
1999
=month=
12
=author=
Buchberger; Bruno
=title=
Views on the Future of Computer Science
=abstract=
Real world, machines, and formal methods.
=howpublished=
Invited Keynote at the Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan, December 16, 1999.
=sponsor=
FWF/SFB project F1302
=keywords=
automatic reasoning