Knowledge Representation and Management in ActiveMath

@inproceedings{pub1897,
    author = {

Melis, Erica
 and 

Büdenbender, Jochen
 and 

Goguadze, Giorgi
 and 

Libbrecht, Paul
 and 

Ullrich, Carsten
},
    title = {Knowledge Representation and Management in ActiveMath},
    booktitle = {LLWA - Tagungsband der GI-Workshopwoche "Lernen - Lehren - Wissen - Adaptivität". GI-Workshop-Tage "Lernen, Wissen, Adaption" (LWA)},
    series = {Research Reports},
    year = {2001},
    month = {10},
    pages = {173--179},
    publisher = {University of Dortmund}
}