Ontic : a knowledge representation system for mathematics /

• Κύριος συγγραφέας: McAllester, David A. (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. : MIT Press, c1989.
• Σειρά: Artificial intelligence (Cambridge, Mass.)
• Θέματα: Αυτόματη απόδειξη θεωρημάτων
• Φυσική περιγραφή: xiv, 158 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 0262132354