The Newell and Simon program that proved theorems of Principia Mathematica was:

Correct Answer: Logic Theorist

Discussion & Comments

No comments yet. Be the first to comment!
Join Discussion