author = {B. Buchberger},
title = {{Automated Algorithm Synthesis in Theorema.}},
language = {english},
year = {2008},
month = {July 27-30},
annote = {2008-07-27-A},
note = {Invited talk at Conferences ACA (Applied Computer Algebra) 2008, Workshop Symbolic Computation and Deduction in System Design and Verification},
institution = { RISC, Johannes Kepler University, Hagenberg},
conferencename = {Conferences ACA (Applied Computer Algebra) 2008, Workshop Symbolic Computation and Deduction in System Design and Verification}