ML Anthology

Automated Deduction by Theory Resolution

Mark E. Stickel
IJCAI 1985 pp. 1181-1186
doi:10.1007/BF00244275 /ijcai/1985/stickel1985ijcai-automated/
PDF IJCAI Semantic Scholar

Cite

Text

Stickel. "Automated Deduction by Theory Resolution." International Joint Conference on Artificial Intelligence, 1985. doi:10.1007/BF00244275

Markdown

[Stickel. "Automated Deduction by Theory Resolution." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/stickel1985ijcai-automated/) doi:10.1007/BF00244275

BibTeX

@inproceedings{stickel1985ijcai-automated,
  title     = {{Automated Deduction by Theory Resolution}},
  author    = {Stickel, Mark E.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1181-1186},
  doi       = {10.1007/BF00244275},
  url       = {https://mlanthology.org/ijcai/1985/stickel1985ijcai-automated/}
}