Ontic : a knowledge representation system for mathematics /

Bibliographic Details

Main Author:	McAllester, David A.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1989]
Series:	MIT Press series in artificial intelligence.
Subjects:	Automatic theorem proving. Ontic (Computer system)