Artificial Intelligence （AI） - Volume 12, Issue 1 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 12, Issue 1 |
| 发布时间： May 1979 |
| 卷期年份： 1979 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/12/issue/1 |
本期论文列表
Editorial Board
Programming by examples
The B∗ tree search algorithm: A best-first proof procedure
Range-data analysis guided by a junction dictionary
Lambda-calculus conference : Swansea 16–22 September 1979
IJCAI-79, Sixth international joint conference on artificial intelligence : Tokyo, 20–24 August, 1979