ML Anthology

The Philosophy of Automated Theorem Proving

Francis Jeffry Pelletier
IJCAI 1991 pp. 1039-1045
/ijcai/1991/pelletier1991ijcai-philosophy/
PDF IJCAI Semantic Scholar

Cite

Text

Pelletier. "The Philosophy of Automated Theorem Proving." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Pelletier. "The Philosophy of Automated Theorem Proving." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/pelletier1991ijcai-philosophy/)

BibTeX

@inproceedings{pelletier1991ijcai-philosophy,
  title     = {{The Philosophy of Automated Theorem Proving}},
  author    = {Pelletier, Francis Jeffry},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {1039-1045},
  url       = {https://mlanthology.org/ijcai/1991/pelletier1991ijcai-philosophy/}
}