| Shelfclass_id | 4.B.3 |
| Sortkey | MOORE, ROBERT C |
| Authors | Robert C. Moore |
| Title | Reasoning from Incomplete Knowledge in a Procedural Deduction System |
| Publisher | Garland Pub. |
| Year | 1980 |
| Languages | eng |
| Isbn | 0824044037 |
| Series | Outstanding dissertations in the computer science |
| Description | 112 p. ill. 21 cm |
| Record date | 20060713 |
| Location | New York |
| Keywords | Artificial intelligence, Knowledge, Theory of, Logic, Symbolic and mathematical |
| Notes | Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975 |