Abstract
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.
Cite
CITATION STYLE
APA
Newell, A., & Shaw, J. C. (1957). Programming the logic theory machine. In Proceedings of the Western Joint Computer Conference, IRE-AIEE-ACM 1957 (pp. 230–240). Association for Computing Machinery, Inc. https://doi.org/10.1145/1455567.1455606
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free