ML Anthology

Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover

Mabry Tyson
AAAI 1982 pp. 225-228
/aaai/1982/tyson1982aaai-proof/
PDF AAAI Semantic Scholar

Cite

Text

Tyson. "Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover." AAAI Conference on Artificial Intelligence, 1982.

Markdown

[Tyson. "Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/tyson1982aaai-proof/)

BibTeX

@inproceedings{tyson1982aaai-proof,
  title     = {{Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover}},
  author    = {Tyson, Mabry},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1982},
  pages     = {225-228},
  url       = {https://mlanthology.org/aaai/1982/tyson1982aaai-proof/}
}