|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Author index Volume 2 |
1971 |
2 | 3-4 |
p. 330- 1 p. |
article |
||
| 2 | Experiments with a heuristic theorem-proving program for predicate calculus with equality |
Norton, Lewis M. |
1971 |
2 | 3-4 |
p. 261-284 24 p. |
article |
|
| 3 | Grid coding: A preprocessing technique for robot and machine vision |
Will, P.M. |
1971 |
2 | 3-4 |
p. 319-329 11 p. |
article |
|
| 4 | Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence |
Sloman, Aaron |
1971 |
2 | 3-4 |
p. 209-225 17 p. |
article |
|
| 5 | Linear resolution with selection function |
Kowalski, Robert |
1971 |
2 | 3-4 |
p. 227-260 34 p. |
article |
|
| 6 | Protocol analysis as a task for artificial intelligence |
Waterman, D.A. |
1971 |
2 | 3-4 |
p. 285-318 34 p. |
article |
|
| 7 | Strips: A new approach to the application of theorem proving to problem solving |
Fikes, Richard E. |
1971 |
2 | 3-4 |
p. 189-208 20 p. |
article |
7 results found