Artificial Intelligence （AI） - Volume 14, Issue 3 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 14, Issue 3 |
| 发布时间： October 1980 |
| 卷期年份： 1980 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/14/issue/3 |
本期论文列表
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning
Syntax-directed, semantics-supported program synthesis
Increasing tree search efficiency for constraint satisfaction problems
Author's query
Announcements
Author index—Volume 14, 1980
Contents—Volume 14, 19801980