Ontic : a knowledge representation system for mathematics /

• Main Author: McAllester, David A. (συγγραφέας.)
• Format: Book
• Language: English
• Published: Cambridge, Mass. : MIT Press, c1989.
• Series: Artificial intelligence (Cambridge, Mass.)
• Subjects: Αυτόματη απόδειξη θεωρημάτων
• Physical Description: xiv, 158 σ. : εικ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 0262132354