Knowledge Representation and Management (2003)

by E Melis, J Büdenbender, G Goguadze, P Libbrecht, C Ulrich
Venue:in ActiveMath, In Annals of Mathematics and Artificial Intelligence