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 |
