The simulation of verbal learning behavior
Computers & thought
Steps toward artificial intelligence
Computers & thought
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Experiments With a Multipurpose, Theorem-Proving Heuristic Program
Journal of the ACM (JACM)
Communications of the ACM
Communications of the ACM
The remaining trouble spots in ALGOL 60
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Computer simulation—discussion of the technique and comparison of languages
Communications of the ACM
Communications of the ACM
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
Programming Systems and Languages.
Programming Systems and Languages.
Hi-index | 0.00 |