Search: Assertion Application In Theorem Proving And Proof Planning
2003
[2] 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. [bibtex] [pdf]
[1] Assertion Application in Theorem Proving and Proof Planning (Quoc Bao Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (G. Gottlob, T. Walsh, eds.), 2003. (poster) (ISBN 0-127-05661-0) [bibtex] [pdf]
Powered by bibtexbrowser