Reasoning from incomplete knowledge in a procedural deduction system /
Saved in:
| Author / Creator: | Moore, Robert C., 1948- |
|---|---|
| Imprint: | New York : Garland Pub., 1980. |
| Description: | 112 p. : ill. ; 21 cm. |
| Language: | English |
| Series: | Outstanding dissertations in the computer science Outstanding dissertations in the computer sciences |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/390849 |
| Item Description: | Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975. |
|---|---|
| Physical Description: | 112 p. : ill. ; 21 cm. |
| Bibliography: | Bibliography: p. 110-112. |
| ISBN: | 0824044037 |
