|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index Volume 2 |
1971 |
2 | 3-4 |
p. 330- 1 p. |
artikel |
||
| 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. |
artikel |
|
| 3 | Grid coding: A preprocessing technique for robot and machine vision |
Will, P.M. |
1971 |
2 | 3-4 |
p. 319-329 11 p. |
artikel |
|
| 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. |
artikel |
|
| 5 | Linear resolution with selection function |
Kowalski, Robert |
1971 |
2 | 3-4 |
p. 227-260 34 p. |
artikel |
|
| 6 | Protocol analysis as a task for artificial intelligence |
Waterman, D.A. |
1971 |
2 | 3-4 |
p. 285-318 34 p. |
artikel |
|
| 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. |
artikel |
7 gevonden resultaten