Reasoning from incomplete knowledge in a procedural deduction system
By: Robert C. Moore.
Series: Outstanding dissertations in the computer science
Publisher: Garland Pub.
Published: 1980
Place of publication: New York
Language: eng
Number of pages: 112
Subjects: Artificial intelligence.; Knowledge, Theory of.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 110-112.
Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.