Reasoning from incomplete knowledge in a procedural deduction system
Title:
Reasoning from incomplete knowledge in a procedural deduction system
Author:
Moore, Robert C., 1948-
Personal Author:
Publication Information:
New York : Garland Pub., 1980.
Physical Description:
112 pages : illustrations ; 21 cm.
General Note:
Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.
Language:
English
ISBN:
9780824044039
Format :
Book
