author = {B. Buchberger},}
title = {{Groebner Bases and Automated Theorem Proving}},
language = {english},
year = {2004},
month = {October 9},
annote = {2004-10-09-A},
note = {Invited colloquium talk at Toho University, Mathematical Institute, Tokyo – Tsudanuma},
institution = {Toho University, Mathematical Institute, Tokyo – Tsudanuma}