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