Quoc Bao Vo

FR Informatik , Universitat des Saarlandes , 66041 Saarbriicken , Germany

1 paper in the IJCAI proceedings

IJCAI 2003

Assertion Application in Theorem Proving and Proof Planning

with Christoph Benzmüller, Serge Autexier

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings