Bruno Buchberger, Florina Piroi,
"An Environment for Building Mathematical Knowledge Libraries"
, in Wolfgang Windsteiger and Christoph Benzmueller: Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR), Cork, Ireland, Seite(n) 19--29, 7-2004, ISBN: 3-902276-04-5
Original Titel:
An Environment for Building Mathematical Knowledge Libraries
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR)
Forschungs-