Some reflections on early history
A history of personal workstations
A Fortran-Compiled List-Processing Language
Journal of the ACM (JACM)
An indirect chaining method for addressing on secondary keys
Communications of the ACM
IEEE Transactions on Computers
ACM Lisp Bulletin
A command structure for complex information processing
IRE-ACM-AIEE '58 (Western) Proceedings of the May 6-8, 1958, western joint computer conference: contrasts in computers
File searching using variable length keys
IRE-AIEE-ACM '59 (Western) Papers presented at the the March 3-5, 1959, western joint computer conference
A multi-level file structure for information processing
IRE-AIEE-ACM '60 (Western) Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference
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
Modeling human mental processes
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
JOSS: a designer's view of an experimental on-line computing system
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Panel: history of artificial intelligence research, 1956-61
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Principles of human-computer collaboration for knowledge discovery in science
Artificial Intelligence
Indexing and control-word techniques
IBM Journal of Research and Development
Chess-playing programs and the problem of complexity
IBM Journal of Research and Development
Hierarchical structure for data management
IBM Systems Journal
Hi-index | 0.02 |
A companion paper has discussed a system, called the Logic Theory Machine (LT), that discovers proofs for theorems in symbolic logic in much the same way as a human does. It manipulates symbols, it tries different methods, and it modifies some of its processes in the light of experience.