author = {B. Buchberger},
title = {{Logicographic Symbols: A New Feature in Theorema}},
booktitle = {{Symbolic Computation - New Horizons (Proceedings of the 4th International Mathematica Symposium)}},
language = {english},
pages = {23--30},
publisher = {Copyright: Tokyo Denki University Press},
isbn_issn = {ISBN 4-501-73020-X C3041},
year = {2001},
month = {25-27 June},
annote = {2001-06-25-A},
editor = {Y. Tazawa},
refereed = {yes},
institution = {Tokyo Denki University, Chiba New Town Campus, Japan},
keywords = {Keywords: merge sort algorithm, relations and functions in set theory},
length = {8}