0004-3702

Artificial Intelligence (AI) - Volume 27, Issue 3 论文列表

本期论文列表
Completeness results for inequality provers

Heuristic classification

Books received

Language as a cognitive process, volume I: Syntax: T. Winograd, (Addison-Wesley, Reading, MA, 1983); 640 pages, $34.95

Metaphors we live by: G. Lakoff and M. Johnson, (Chicago University Press, Chicago, IL, 1980); 239 pages, $8.95

NBS parallel computer benchmark collection

Call for papers: International conference on information processing and management of uncertainty in knowledge-based systems : June 30–July 4, 1986, Paris, France

Call for papers: CSCSI-86 Canadian artificial intelligence conference : May 21–23, 1986, Montreal, Canada

Forthcoming papers

Author index — Volume 27, 1985

Contents — Volume 27, 1985