Ontic : a knowledge representation system for mathematics /
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge, Mass. :
MIT Press,
c1989.
|
Σειρά: | Artificial intelligence (Cambridge, Mass.)
|
Θέματα: |
Φυσική περιγραφή: | xiv, 158 σ. : εικ. ; 24 εκ. |
---|---|
Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφικές παραπομπές. |
ISBN: | 0262132354 |