author = {B. Buchberger},
title = {{Logicographic Symbols: A New Feature in Theorema}},
language = {english},
year = {2001},
month = {June 25-27},
annote = {2001-06-25-A},
note = {Invited talk at Symbolic Computation - New Horizons, (Proc. of the 4th International Mathematica Symposium, Tokyo Denki University, Chiba New Town Campus, Japan, Y. Tazawa ed., pp. 23-30)},
keywords = {merge sort algorithm, relations and functions in set theory},
conferencename = {Symbolic Computation - New Horizons, (Proc. of the 4th International Mathematica Symposium, Tokyo Denki University, Chiba New Town Campus, Japan, Y. Tazawa ed., pp. 23-30)}