Assertion Application in Theorem Proving and Proof Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier. Assertion Application in Theorem Proving and Proof Planning. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 1343, Morgan Kaufmann, 2003.

This author has not been identified. Look up 'Quoc Bao Vo' in GoogleThis author has not been identified. Look up 'Christoph Benzmüller' in GoogleThis author has not been identified. Look up 'Serge Autexier' in Google

runs on WebDSL