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

Bibliography, p.