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 |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 390849 | ||
| 003 | ICU | ||
| 005 | 19950830000000.0 | ||
| 008 | 801001s1980 nyua b 00010 eng u | ||
| 010 | |a 79050228 | ||
| 020 | |a 0824044037 : |c $13.00 | ||
| 035 | |a (ICU)BID5384417 | ||
| 035 | |a (OCoLC)4804792 | ||
| 040 | |a DLC |c DLC | ||
| 041 | 0 | |a eng | |
| 050 | 0 | |a Q360 |b .M665 1980 | |
| 082 | |a 001.53/9 | ||
| 100 | 1 | |a Moore, Robert C., |d 1948- |0 http://id.loc.gov/authorities/names/n79028801 |1 http://viaf.org/viaf/108124901 | |
| 245 | 1 | 0 | |a Reasoning from incomplete knowledge in a procedural deduction system / |c Robert C. Moore. |
| 260 | 0 | |a New York : |b Garland Pub., |c 1980. | |
| 300 | |a 112 p. : |b ill. ; |c 21 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Outstanding dissertations in the computer science | |
| 500 | |a Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975. | ||
| 504 | |a Bibliography: p. 110-112. | ||
| 583 | 1 | |a committed to retain |c 20170930 |d 20421213 |f HathiTrust |5 ICU | |
| 650 | 0 | |a Artificial intelligence |0 http://id.loc.gov/authorities/subjects/sh85008180 | |
| 650 | 0 | |a Knowledge, Theory of |0 http://id.loc.gov/authorities/subjects/sh85072732 | |
| 650 | 0 | |a Logic, Symbolic and mathematical |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 http://id.worldcat.org/fast/fst00817247 | |
| 650 | 7 | |a Knowledge, Theory of. |2 fast |0 http://id.worldcat.org/fast/fst00988194 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
| 830 | 0 | |a Outstanding dissertations in the computer sciences |0 http://id.loc.gov/authorities/names/no97024692 | |
| 903 | |a HeVa | ||
| 903 | |a Hathi | ||
| 929 | |a cat | ||
| 999 | f | f | |i 98db2989-0ee0-5878-92d9-48e69df27043 |s 1f8e0607-6e3f-54a8-8827-1f65c7473399 |
| 928 | |t Library of Congress classification |a Q360.M6650 1980 |l ASR |c ASR-SciASR |i 1463867 | ||
| 927 | |t Library of Congress classification |a Q360.M6650 1980 |l ASR |c ASR-SciASR |e CRERAR |b 19184648 |i 1207419 | ||
