Artificial Intelligence （AI） - Volume 6, Issue 1 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 6, Issue 1 |
| 发布时间： Spring 1975 |
| 卷期年份： 1975 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/6/issue/1 |
本期论文列表
Editorial Board
Plane geometry theorem proving using forward chaining
A relaxation approach to splitting in an automatic theorem prover
Model verification and improvement using DISPROVER
A preferential, pattern-seeking, Semantics for natural language inference
An associative-categorical model of word meaning
Announcements