ML Anthology

A Semantically Guided Deductive System for Automatic Theorem-Proving

Raymond Reiter
IJCAI 1973 pp. 41-46
/ijcai/1973/reiter1973ijcai-semantically/
PDF IJCAI Semantic Scholar

Cite

Text

Reiter. "A Semantically Guided Deductive System for Automatic Theorem-Proving." International Joint Conference on Artificial Intelligence, 1973.

Markdown

[Reiter. "A Semantically Guided Deductive System for Automatic Theorem-Proving." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/reiter1973ijcai-semantically/)

BibTeX

@inproceedings{reiter1973ijcai-semantically,
  title     = {{A Semantically Guided Deductive System for Automatic Theorem-Proving}},
  author    = {Reiter, Raymond},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {41-46},
  url       = {https://mlanthology.org/ijcai/1973/reiter1973ijcai-semantically/}
}