The Philosophy of Automated Theorem Proving.

Francis Jeffry Pelletier

Browse the full IJCAI paper archive.