author = {B. Buchberger},
title = {{Computer-Algebra und Theorem Proving}},
language = {english},
year = {1996},
month = {June 30},
annote = {1996-06-30-A},
note = {Invited colloquium talk at Deutsches Forschungsinstitut fuer kuenstliche Intelligenz, Saarbruecken, Germany},
institution = {Deutsches Forschungsinstitut fuer kuenstliche Intelligenz, Saarbruecken, Germany}