ML Anthology

Autexier, Serge

1 publications

IJCAI 2003 Assertion Application in Theorem Proving and Proof Planning Quoc Bao Vo, Christoph Benzmüller, Serge Autexier