Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Analogy for Automated Reasoning
| Editors: | MISSING
| Book#: | 0-12-531715-8
| Publisher: | Academic Press, USA
| Volume: | MISSING
| Pages: | MISSING
| |
Authored Book #531 | |
Title: | Analogy for Automated Reasoning |
---|---|
Authors: | Owen,S |
Date: | 1990 |
Presented: | |
Keywords: | automated reasoning, analogy, theorem proving |