Assertion Application in Theorem Proving and Proof Planning (Poster description)
@inproceedings{VBA-03-a, author = {Vo, Bao Quoc and Benzm\"uller, Christoph and Autexier, Serge}, booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'03)}, title = {Assertion Application in Theorem Proving and Proof Planning (Poster description)}, address = {Acapulco, Mexico}, year = {2003}, }