Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Computers and Thought
Pattern recognition and modern computers
AFIPS '55 (Western) Proceedings of the March 1-3, 1955, western joint computer conference
Programming the logic theory machine
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
Empirical explorations of the geometry theorem machine
IRE-AIEE-ACM '60 (Western) Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference
The simulation of verbal learning behavior
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
Simulation of behavior in the binary choice experiment
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
| Hi-index | 0.00 |