Analogy of automated reasoning /

Bibliographic Details

Main Author:	Owen, Stephen (Stephen G.)
Format:	Book
Language:	English
Published:	London ; San Diego : Academic Press, [1990]
Series:	Perspectives in artificial intelligence ; v. 9.
Subjects:	Automatic theorem proving. Artificial intelligence. Analogy.