| 其他書名 | Heuristic Search, Inference Engines, Automatic Proving |
| 出版 | E. Horwood, 1989 |
| 主題 | Computers / Artificial Intelligence / GeneralTechnology & Engineering / Automotive |
| ISBN | 04702138419780470213841 |
| URL | http://books.google.com.hk/books?id=SgwZAQAAIAAJ&hl=&source=gbs_api |