R.: An ontology for engineering mathematics (1994)

by T R GRUBER, G OLSEN
Venue:In Proc. of 4th International Conference on Principles of Knowledge Representation and Reasoning