Ontic : a knowledge representation system for mathematics / David A. McAllester.

Saved in:

Bibliographic Details
Online Access:	Full Text (via Internet Archive)
Main Author:	McAllester, David A.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1989.
Series:	Artificial intelligence (Cambridge, Mass.)
Subjects:	Automatic theorem proving. Ontic (Computer system) Knowledge representation (Information theory)

Internet

Holdings details from Online
Call Number:	QA76.9.A96 M37 1989
QA76.9.A96 M37 1989	Available