Analogy for automated reasoning /
Owen, Stephen(Stephen G.)
London : Academic Press,
c1990.
Includes bibliographical references and index.
Automatic theorem proving.
Artificial intelligence.
Analogy.