Wissensmodellierung und -nutzung in ActiveMath

@article{pub1923,
    author = {

Melis, Erica
 and 

Goguadze, Giorgi
 and 

Libbrecht, Paul
 and 

Ullrich, Carsten
},
    title = {Wissensmodellierung und -nutzung in ActiveMath},
    year = {2003},
    volume = {17},
    number = {1},
    pages = {12--18},
    journal = {KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI)}
}