Κανονική προβολή Προβολή MARC Προβολή ISBD

McAllester, David A.

Ontic : a knowledge representation system for mathematics / David A. McAllester. - Cambridge, Mass. : MIT Press, c1989. - xiv, 158 σ. : εικ. ; 24 εκ. - Artificial intelligence . - Artificial intelligence (Cambridge, Mass.) .

Περιλαμβάνει βιβλιογραφικές παραπομπές.

ISBN: 0262132354

LCCN: 88008090

Subjects--Topical Terms:
Αυτόματη απόδειξη θεωρημάτων

Dewey Class. No.: 510.285 63