| Shelfclass_id | 4.B.3 |
| Sortkey | MCALLESTER, DAVID A |
| Authors | David A. McAllester |
| Title | Ontic: A Knowledge Representation System for Mathematics |
| Publisher | MIT Press |
| Year | c1989 |
| Languages | eng |
| Isbn | 0262132354 |
| Series | MIT Press series in artificial intelligence |
| Description | xiv, 158 p. ill. 24 cm |
| Record date | 20060714 |
| Location | Cambridge, Mass. |
| Keywords | Automatic theorem proving, Ontic (Computer system), Knowledge representation (Information theory) |