ONTIC
Subtitle: a knowledge representation system for mathematics
Series: Artificial intelligence
Publisher: The MIT Press
Published: August 11, 1989
Place of publication: Cambridge, Massachusetts
Language: eng
Format: Hardcover
Number of pages: 174
ISBN-13: 9780262132350
Subjects: Artificial Intelligence; Foundations Of Mathematics; Computers; Mathematics; Computer Books: General; Computer Books: Operating Systems; Discrete Mathematics; Computers / Computer Science; Computer Science; Automatic theorem proving; Knowledge representation (Info; Knowledge representation (Information theory); Ontic (Computer system)