Programming The Logic Theory Machine

Basic infomation
Authors: Allen NewellJ C Shaw
Published in: Meeting Of The Association For Computational Linguistics
Published in: Proceedings Of The Institute Of Radio Engineers
Year: 1957   
DOI: 10.1145/1455567.1455606
Citations: 53
EI: NO
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
Popular Words:
Keywords
References
Cited By
Similar