Artificial Intelligence （AI） - Volume 18, Issue 1 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 18, Issue 1 |
| 发布时间： January 1982 |
| 卷期年份： 1982 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/18/issue/1 |
本期论文列表
Editorial Board
Using knowledge to control tree searching
The last player theorem
Completely non-clausal theorem proving
The knowledge level
Call for papers: Fourth national conference of the canadian society for computational studies of intelligence : In conjunction with the 1982 national conference of the Canadian Information Processing Society May 17–19, 1982, at Saskatoon, Canada
Foundation of association pour la recherche cognitive : Laboratoire de recherche en informatique, université Paris-Sud, 91405 Orsay, France
Call for papers: Special issue on computer graphics, and image processing on motion and time-varying imagery, and