Bruno Buchberger, Koji Nakagawa,
"Logicographic symbols: A new concept in logic syntax"
: Proceedings of th INTAS Conference on Rewriting Techniques and Efficient Theorem Proving, 12-2000, B. Buchberger and K. Nakagawa; in: Proceedings of the INTAS Conference on Rewriting Techniques and Efficient Theorem Proving, 2000.
Original Titel:
Logicographic symbols: A new concept in logic syntax
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of th INTAS Conference on Rewriting Techniques and Efficient Theorem Proving
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger and K. Nakagawa; in: Proceedings of the INTAS Conference on Rewriting Techniques and Efficient Theorem Proving, 2000.