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