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

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

ANSWER DOWNLOAD EXAMIANS APP