author = {B. Buchberger},
title = {{Symbolic Computation: Organizing Complex Reasoning}},
language = {english},
year = {1995},
month = {December 1},
annote = {1995-12-01-A},
note = {Invited colloquium talk at International Institute of Applied Systems Analysis (IIASA), Laxemburg, Austria},
institution = {International Institute of Applied Systems Analysis (IIASA), Laxemburg, Austria}