A Technique for Establishing Completeness Results in Theorem Proving with Equality

Peterson, Gerald E.

A Technique for Establishing Completeness Results in Theorem Proving with Equality

Gerald E. Peterson

AAAI 1980 pp. 87-89

/aaai/1980/peterson1980aaai-technique/

PDF AAAI Semantic Scholar

Cite

Text

Peterson. "A Technique for Establishing Completeness Results in Theorem Proving with Equality." AAAI Conference on Artificial Intelligence, 1980.

Markdown

[Peterson. "A Technique for Establishing Completeness Results in Theorem Proving with Equality." AAAI Conference on Artificial Intelligence, 1980.](https://mlanthology.org/aaai/1980/peterson1980aaai-technique/)

BibTeX

@inproceedings{peterson1980aaai-technique,
  title     = {{A Technique for Establishing Completeness Results in Theorem Proving with Equality}},
  author    = {Peterson, Gerald E.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1980},
  pages     = {87-89},
  url       = {https://mlanthology.org/aaai/1980/peterson1980aaai-technique/}
}