Knowledge representation and management (2003)

by E Melis, J Büdenbender E Andrès, A Frischauf, G Goguadze, P Libbrecht, M Pollet, C Ullrich
Venue:in ActiveMath. Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge, 38(1-3):47 – 64