ML Anthology

Theorem Proving with Structured Theories

Sheila A. McIlraith, Eyal Amir
IJCAI 2001 pp. 624-634
/ijcai/2001/mcilraith2001ijcai-theorem/
Semantic Scholar

Cite

Text

McIlraith and Amir. "Theorem Proving with Structured Theories." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[McIlraith and Amir. "Theorem Proving with Structured Theories." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/mcilraith2001ijcai-theorem/)

BibTeX

@inproceedings{mcilraith2001ijcai-theorem,
  title     = {{Theorem Proving with Structured Theories}},
  author    = {McIlraith, Sheila A. and Amir, Eyal},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {624-634},
  url       = {https://mlanthology.org/ijcai/2001/mcilraith2001ijcai-theorem/}
}