Bruno Buchberger, Florina Piroi,
"Label Management in Theorema"
: Informal proceedings of the 4th International Conference on Mathematical Knowledge Management, 7-2005
Original Titel:
Label Management in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Informal proceedings of the 4th International Conference on Mathematical Knowledge Management