---
title: "The Philosophy of Automated Theorem Proving"
authors:
  - "Francis Jeffry Pelletier"
doi: ""
url: "https://ijcai.org/proceedings/1991/153"
pdf: "https://ijcai.org/proceedings/1991/0153.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "1039-1044"
track: "Philosophical Foundations"
keywords:
---

# The Philosophy of Automated Theorem Proving

Francis Jeffry Pelletier

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 1039-1044.

## Abstract