Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation.

Jacques CalmetMarc Bergman
Published in: AAECC (1984)
Keyphrases