Koji Nakagawa, Bruno Buchberger,
"Presenting Proofs Using Logicographic Symbols"
: Proceedings of the Workshop in Proof Transformation and Presentation, 3-2001, K. Nakagawa, B. Buchberger Proceedings of the Workshop on Proof Transformation and Presentation, Siena, Italy
Original Titel:
Presenting Proofs Using Logicographic Symbols
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Workshop in Proof Transformation and Presentation
Erscheinungsmonat:
3
Erscheinungsjahr:
2001
Notiz zum Zitat:
K. Nakagawa, B. Buchberger Proceedings of the Workshop on Proof Transformation and Presentation, Siena, Italy