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: ,

Appears in2 items