Author: McAllester, David A.
Title: ONTIC: A Knowledge Representation System for Mathematics.
Description: Cambridge, MA: The MIT Press, 1989. Hardcover. Dustjacket. 272 pp.English text. Condition : as new. Mailorder only - Alleen verzending mogelijk. Book condition : as new. ISBN 9780262132350.

Keywords: ,