| Shelfclass_id | 4.B.4 |
| Sortkey | OWEN, STEPHEN |
| Authors | Stephen Owen |
| Title | Analogy of Automated Reasoning |
| Publisher | Academic Press |
| Year | c1990 |
| Languages | eng |
| Isbn | 0125317158 |
| Series | Perspectives in artificial intelligence |
| Volume | 9 |
| Description | (acid-free paper) xv, 235 p. ill. 24 cm |
| Record date | 20060713 |
| Location | Boston |
| Keywords | Automatic theorem proving, Artificial intelligence, Analogy |