ML Anthology

An Incremental Theorem Prover

Murray Shanahan
IJCAI 1987 pp. 987-989
/ijcai/1987/shanahan1987ijcai-incremental/
PDF IJCAI Semantic Scholar

Cite

Text

Shanahan. "An Incremental Theorem Prover." International Joint Conference on Artificial Intelligence, 1987.

Markdown

[Shanahan. "An Incremental Theorem Prover." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/shanahan1987ijcai-incremental/)

BibTeX

@inproceedings{shanahan1987ijcai-incremental,
  title     = {{An Incremental Theorem Prover}},
  author    = {Shanahan, Murray},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {987-989},
  url       = {https://mlanthology.org/ijcai/1987/shanahan1987ijcai-incremental/}
}