Ontic : a knowledge representation system for mathematics /

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