ONTIC: A Knowledge Representation System for Mathematics (Artificial Intelligence)
by
David A. McAllester
Hardcover
details (
USA
).
ISBN: 978-0-262-13235-0
ISBN-10: 0-262-13235-4
The MIT Press
· 1989
