Bruno Buchberger,
"Logicographic Symbols: A New Feature in theorema"
: Proceedings of the 4th International Mathematica Symposium, 6-2001, ISBN: 4-501-73020-X, B. Buchberger In: Symbolic Computation - New Horzons (Proceedings of the 4th International Mathematica Symposium, Tokyo Denki Univ., Chiba Campus, Japan) Tokyo Denki Univ. Press, 2001
Original Titel:
Logicographic Symbols: A New Feature in theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 4th International Mathematica Symposium
Erscheinungsmonat:
6
Erscheinungsjahr:
2001
Notiz zum Zitat:
B. Buchberger In: Symbolic Computation - New Horzons (Proceedings of the 4th International Mathematica Symposium, Tokyo Denki Univ., Chiba Campus, Japan) Tokyo Denki Univ. Press, 2001