|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A flexible efficient computer system to answer human questions |
Chester, Daniel |
1976 |
7 | 4 |
p. 363-365 3 p. |
article |
|
| 2 | Analytic resolution in theorem proving |
Brand, D. |
1976 |
7 | 4 |
p. 285-318 34 p. |
article |
|
| 3 | A partial evaluator, and its use as a programming tool |
Beckman, Lennart |
1976 |
7 | 4 |
p. 319-357 39 p. |
article |
|
| 4 | Author index—volume 7, 1976 |
1976 |
7 | 4 |
p. 370- 1 p. |
article |
||
| 5 | Call for papers |
1976 |
7 | 4 |
p. 367-368 2 p. |
article |
||
| 6 | Contents—volume 7, 1976 |
1976 |
7 | 4 |
p. 371-374 4 p. |
article |
||
| 7 | Erratum |
1976 |
7 | 4 |
p. 369- 1 p. |
article |
||
| 8 | Letters to the editor |
1976 |
7 | 4 |
p. 359-361 3 p. |
article |
8 results found