Title: Reasoning from incomplete knowledge in a procedural deduction system /
Authors: Moore, Robert C., 1948-
Publisher: Garland Pub.,
Year: 1980
Subjects: Artificial intelligence.; Knowledge, Theory of.; Logic, Symbolic and mathematical.