nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A model for temporal references and its application in a question answering program
|
C. Bruce, Bertram |
|
1972 |
3 |
C |
p. 1-25 25 p. |
artikel |
2 |
A note on linear resolution strategies in consequence-finding
|
Minicozzi, Eliana |
|
1972 |
3 |
C |
p. 175-180 6 p. |
artikel |
3 |
A program for timetable compilation by a look-ahead method
|
Cherniavsky, A.L |
|
1972 |
3 |
C |
p. 61-76 16 p. |
artikel |
4 |
Augmented transition networks as psychological models of sentence comprehension
|
Kaplan, Ronald M |
|
1972 |
3 |
C |
p. 77-100 24 p. |
artikel |
5 |
Author index
|
|
|
1972 |
3 |
C |
p. 292- 1 p. |
artikel |
6 |
Computer proofs of limit theorems
|
Bledsoe, W.W |
|
1972 |
3 |
C |
p. 27-60 34 p. |
artikel |
7 |
Editorial Board
|
|
|
1972 |
3 |
C |
p. IFC- 1 p. |
artikel |
8 |
Interpretation of imperfect line data as a three-dimensional scene
|
Falk, Gilbert |
|
1972 |
3 |
C |
p. 101-144 44 p. |
artikel |
9 |
Learning and executing generalized robot plans
|
Fikes, Richard E |
|
1972 |
3 |
C |
p. 251-288 38 p. |
artikel |
10 |
On the inference of Turing machines from sample computations
|
Biermann, A.W |
|
1972 |
3 |
C |
p. 181-198 18 p. |
artikel |
11 |
Solving problems by formula manipulation in logic and linear inequalities
|
Hodes, Louis |
|
1972 |
3 |
C |
p. 165-174 10 p. |
artikel |
12 |
Speech understanding systems
|
Newell, A. |
|
1972 |
3 |
C |
p. 291- 1 p. |
artikel |
13 |
Strategy construction using homomorphisms between games
|
Banerji, R.B |
|
1972 |
3 |
C |
p. 223-249 27 p. |
artikel |
14 |
The International Joint Conference on Artificial Intelligence (IJCAI)
|
|
|
1972 |
3 |
C |
p. 289-290 2 p. |
artikel |
15 |
The technology chess program
|
Gillogly, James J |
|
1972 |
3 |
C |
p. 145-163 19 p. |
artikel |
16 |
Turing-like indistinguishability tests for the validation of a computer simulation of paranoid processes
|
Colby, Kenneth Mark |
|
1972 |
3 |
C |
p. 199-221 23 p. |
artikel |