Ontic
Subtitle: a knowledge representation system for mathematics
By: David A. McAllester.
Series: Artificial intelligence; Artificial intelligence (Cambridge, Mass.)
Publisher: MIT Press
Published: 1989
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 158
Subjects: Automatic theorem proving.; Ontic (Computer system); Knowledge representation (Information theory)
Notes: Includes bibliographical references (p. [149]-155).