Normal View ISBD View

Moore, Robert C.

Reasoning from incomplete knowledge in a procedural deduction system / Robert C. Moore - New York : Garland Pub., 1980 - 112 p. : ill. ; 21 cm. - Outstanding dissertations in the computer science .

Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.

ISBN: 0824044037

Subjects--Topical Terms:
Artificial intelligence
Knowledge, Theory of
Logic, Symbolic and mathematical

LC Class. No.: Q360.M665

Dewey Class. No.: 001.53'9