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