Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich. Knowledge Representation and Management in ACTIVEMATH. Annals of Mathematics and Artificial Intelligence, 38(1-3):47-64, 2003.
@article{MelisBGLU03,
title = {Knowledge Representation and Management in ACTIVEMATH},
author = {Erica Melis and Jochen Büdenbender and Georgi Goguadze and Paul Libbrecht and Carsten Ullrich},
year = {2003},
researchr = {https://researchr.org/publication/MelisBGLU03},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {38},
number = {1-3},
pages = {47-64},
}