Title: Reasoning from incomplete knowledge in a procedural deduction system
First published: 1980
Subjects: Artificial intelligence, Knowledge, Theory of, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Theory of Knowledge
LC classification: Q360 .M665 1980