ML Anthology

Assertion Application in Theorem Proving and Proof Planning

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
IJCAI 2003 pp. 1343-
/ijcai/2003/vo2003ijcai-assertion/
PDF IJCAI Semantic Scholar

Cite

Text

Vo et al. "Assertion Application in Theorem Proving and Proof Planning." International Joint Conference on Artificial Intelligence, 2003.

Markdown

[Vo et al. "Assertion Application in Theorem Proving and Proof Planning." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/vo2003ijcai-assertion/)

BibTeX

@inproceedings{vo2003ijcai-assertion,
  title     = {{Assertion Application in Theorem Proving and Proof Planning}},
  author    = {Vo, Quoc Bao and Benzmüller, Christoph and Autexier, Serge},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {1343-},
  url       = {https://mlanthology.org/ijcai/2003/vo2003ijcai-assertion/}
}