The Philosophy of Automated Theorem Proving
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Philosophical Foundations. Pages 1039-1044.
Abstract
Francis Jeffry Pelletier. 1991. The Philosophy of Automated Theorem Proving. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 1039–1044. https://ijcai.org/proceedings/1991/153
Pelletier, F. J. (1991). The Philosophy of Automated Theorem Proving. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 (pp. 1039–1044). IJCAI. https://ijcai.org/proceedings/1991/153
@inproceedings{ijcai1991p153,
title = {The Philosophy of Automated Theorem Proving},
author = {Pelletier, Francis Jeffry},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {1039--1044},
year = {1991},
month = {8},
note = {Philosophical Foundations},
url = {https://ijcai.org/proceedings/1991/153},
}
TY - CPAPER TI - The Philosophy of Automated Theorem Proving AU - Pelletier, Francis Jeffry T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 1039 EP - 1044 UR - https://ijcai.org/proceedings/1991/153 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
