A. Asperti, Bruno Buchberger, James Davenport,
"Mathematical Knowledge Management"
: Proceedings of the 2nd International Conference on Mathematical Knowledge Management, Berinoro, Italy, Serie Lecture Notes in Computer Science (LNCS), Vol. 2594, Springer, Berlin-Heidelberg, 3-2003, ISBN: 3-540-00568-4, ISSN: 0302-9743, Proceedings of the 2nd International Conference on Mathematical Knowledge Management, Berinoro, Italy, Feb. 16 - 18, 2003
Original Titel:
Mathematical Knowledge Management
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 2nd International Conference on Mathematical Knowledge Management, Berinoro, Italy
Veröffentlicher:
Springer, Berlin-Heidelberg
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
2594
Erscheinungsmonat:
3
Erscheinungsjahr:
2003
Notiz zum Zitat:
Proceedings of the 2nd International Conference on Mathematical Knowledge Management, Berinoro, Italy, Feb. 16 - 18, 2003