author = {B. Buchberger},
title = {{Logicographic Symbols: Combining Intuition and Formality}},
language = {english},
year = {2001},
month = {September 6},
annote = {2001-09-06-A},
note = {Invited colloquium talk at Computer Science Department, Lamar University, Texas, USA},
institution = {Computer Science Department, Lamar University, Texas, USA}