Artificial Intelligence （AI） - Volume 1, Issues 3–4 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 1, Issues 3–4 |
| 发布时间： 1970 |
| 卷期年份： 1970 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/1/issue/3 |
本期论文列表
An examination of the geometry theorem machine
The semantics of induction and the possibility of complete systems of inductive inference
Heuristic search viewed as path finding in a graph
Scene analysis using regions
Heuristically guided search and chromosome matching
Renamable paramodulation for automatic theorem proving with equality
Resolution graphs
Advanced study institute on artificial intelligence and heuristic programming
Errata
Author index