Reasoning from incomplete knowledge in a procedural deduction system /

Reasoning from incomplete knowledge in a procedural deduction system /

Saved in:

Bibliographic Details
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:	Artificial intelligence Knowledge, Theory of Logic, Symbolic and mathematical Artificial intelligence. Knowledge, Theory of. Logic, Symbolic and mathematical.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/390849

Hidden Bibliographic Details
ISBN:	0824044037 : $13.00
Notes:	Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975. Bibliography: p. 110-112. committed to retain 20170930 20421213 HathiTrust

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	Q360.M6650 1980
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian