no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Author index — Volume 27, 1985
|
|
|
1985 |
27 |
3 |
p. 370- 1 p. |
article |
2 |
Books received
|
|
|
1985 |
27 |
3 |
p. 351- 1 p. |
article |
3 |
Call for papers: CSCSI-86 Canadian artificial intelligence conference
|
|
|
1985 |
27 |
3 |
p. 365- 1 p. |
article |
4 |
Call for papers: International conference on information processing and management of uncertainty in knowledge-based systems
|
|
|
1985 |
27 |
3 |
p. 363-365 3 p. |
article |
5 |
Completeness results for inequality provers
|
Bledsoe, W.W. |
|
1985 |
27 |
3 |
p. 255-288 34 p. |
article |
6 |
Contents — Volume 27, 1985
|
|
|
1985 |
27 |
3 |
p. 371-372 2 p. |
article |
7 |
Forthcoming papers
|
|
|
1985 |
27 |
3 |
p. 367- 1 p. |
article |
8 |
Heuristic classification
|
Clancey, William J. |
|
1985 |
27 |
3 |
p. 289-350 62 p. |
article |
9 |
Language as a cognitive process, volume I: Syntax
|
Nadin, Mihai |
|
1985 |
27 |
3 |
p. 353-357 5 p. |
article |
10 |
Metaphors we live by
|
Norvig, Peter |
|
1985 |
27 |
3 |
p. 357-361 5 p. |
article |
11 |
NBS parallel computer benchmark collection
|
|
|
1985 |
27 |
3 |
p. 363- 1 p. |
article |