Artificial Intelligence （AI） - Volume 7, Issue 4 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 7, Issue 4 |
| 发布时间： Winter 1976 |
| 卷期年份： 1976 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/7/issue/4 |
本期论文列表
Analytic resolution in theorem proving
A partial evaluator, and its use as a programming tool
Letters to the editor
A flexible efficient computer system to answer human questions: John Craig Comfort. Birkhäuser, Basel, 1975, 137 pages, Sfr.24.-
Call for papers
Erratum
Author index—volume 7, 1976
Contents—volume 7, 1976