Assertion Application in Theorem Proving and Proof Planning

Vo, Quoc Bao; Benzmüller, Christoph; Autexier, Serge

Assertion Application in Theorem Proving and Proof Planning

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 1343--1.

Abstract

Quoc Bao Vo, Christoph Benzmüller, and Serge Autexier. 2003. Assertion Application in Theorem Proving and Proof Planning. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1343–-1. https://ijcai.org/proceedings/2003/192

@inproceedings{ijcai2003p192,
  title     = {Assertion Application in Theorem Proving and Proof Planning},
  author    = {Vo, Quoc Bao and Benzmüller, Christoph and Autexier, Serge},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {1343---1},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/192},
}

TY  - CPAPER
TI  - Assertion Application in Theorem Proving and Proof Planning
AU  - Vo, Quoc Bao
AU  - Benzmüller, Christoph
AU  - Autexier, Serge
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 1343
EP  - -1
UR  - https://ijcai.org/proceedings/2003/192
ER  -