ML Anthology

Theorem Provers as Question Answerers

Jared L. Darlington
IJCAI 1969 pp. 317-318
/ijcai/1969/darlington1969ijcai-theorem/
PDF Semantic Scholar

Cite

Text

Darlington. "Theorem Provers as Question Answerers." International Joint Conference on Artificial Intelligence, 1969.

Markdown

[Darlington. "Theorem Provers as Question Answerers." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/darlington1969ijcai-theorem/)

BibTeX

@inproceedings{darlington1969ijcai-theorem,
  title     = {{Theorem Provers as Question Answerers}},
  author    = {Darlington, Jared L.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1969},
  pages     = {317-318},
  url       = {https://mlanthology.org/ijcai/1969/darlington1969ijcai-theorem/}
}