ML Anthology

Abstract Theorem Proving

Fausto Giunchiglia, Toby Walsh
IJCAI 1989 pp. 372-377
/ijcai/1989/giunchiglia1989ijcai-abstract/
PDF IJCAI Semantic Scholar

Cite

Text

Giunchiglia and Walsh. "Abstract Theorem Proving." International Joint Conference on Artificial Intelligence, 1989.

Markdown

[Giunchiglia and Walsh. "Abstract Theorem Proving." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/giunchiglia1989ijcai-abstract/)

BibTeX

@inproceedings{giunchiglia1989ijcai-abstract,
  title     = {{Abstract Theorem Proving}},
  author    = {Giunchiglia, Fausto and Walsh, Toby},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1989},
  pages     = {372-377},
  url       = {https://mlanthology.org/ijcai/1989/giunchiglia1989ijcai-abstract/}
}