Cover Image

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)
Description
Physical Description:xiv, 158 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0262132354