Proceedings

Serge Autexier

1 paper in the IJCAI proceedings

IJCAI 2003

Assertion Application in Theorem Proving and Proof Planning
with Quoc Bao Vo, Christoph Benzmüller
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards