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: Αυτόματη απόδειξη θεωρημάτων