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

None of these
Elementary Perceiver
Logic Theorist
General Problem Solver
Boolean Algebra

ANSWER DOWNLOAD EXAMIANS APP