Artificial Intelligence （AI） - Volume 16, Issue 1 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 16, Issue 1 |
| 发布时间： March 1981 |
| 卷期年份： 1981 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/16/issue/1 |
本期论文列表
Editorial Board
An experimental program transformation and synthesis system
Theorem proving with abstraction
1981 Annual conference of the British Society for the Philosophy of Science : September 18–20, 1981, at Essex, England