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