Assertion Application in Theorem Proving and Proof Planning (bibtex)

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

Reference:

Assertion Application in Theorem Proving and Proof Planning (Bao Quoc Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, 2003. (Url (preprint): http://christoph-benzmueller.de/papers/W19.pdf)

Bibtex Entry:

@inproceedings{W19, Address = {Liverpool, England}, Author = {Bao Quoc Vo and Christoph Benzm{\"u}ller and Serge Autexier}, Booktitle = {Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice}, Title = {Assertion Application in Theorem Proving and Proof Planning}, Note = {Url (preprint): \url{http://christoph-benzmueller.de/papers/W19.pdf}}, Year = 2003, }

Powered by bibtexbrowser