Logic Theorist
Program by Newell, Simon and Shaw that proved theorems of Principia Mathematica in 1956.
Work- Identifiers
- Wikidata Q4391896
Sources
Relations
- built by:
Sources: ,
Sources: ,
Sources: ,
Program by Newell, Simon and Shaw that proved theorems of Principia Mathematica in 1956.
WorkSources: ,
Sources: ,
Sources: ,