Analogy of automated reasoning
By: Stephen Owen.
Series: Perspectives in artificial intelligence ;; v. 9
Publisher: Academic Press
Published: 1990
Place of publication: Boston
Language: eng
Number of pages: 235
Subjects: Automatic theorem proving.; Artificial intelligence.; Analogy.
Notes: Includes bibliographical references (p. 227-230) and index.