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

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

ANSWER DOWNLOAD EXAMIANS APP