author = {B. Buchberger},
title = {{Theory Exploration Versus Theorem Proving}},
language = {english},
year = {1999},
month = {July 11-12},
annote = {1999-00-00-B},
note = {Invited talk at Calculemus '99 Workshop, (Electronic Notes in Theoretical Computer Science, 23/3, Elsevier)},
conferencename = {Calculemus '99 Workshop, (Electronic Notes in Theoretical Computer Science, 23/3, Elsevier)}