author = {B. Buchberger},
title = {{Views on the Future of Computer Science}},
language = {english},
year = {1999},
month = {September 24},
annote = {1999-09-24-B},
note = {Invited talk at Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan},
conferencename = {Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan}