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)

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

Published 1989

Book