The Philosophy of Automated Theorem Proving

Francis Jeffry Pelletier. The Philosophy of Automated Theorem Proving. In IJCAI. pages 1039-1045, 1991.

Abstract

Abstract is missing.