Publikation

Metadata in ActiveMath

Jochen Büdenbender; Giorgi Goguadze; Paul Libbrecht; Erica Melis; Carsten Ullrich

Seki Report, Universität des Saarlandes FB Informatik, Seki Report, Vol. SR-02-02, 2002.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence