CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Stefan Hetzl
Affiliation: Vienna University of Technology
Web page: http://www.logic.at/people/hetzl/
Pages in this Program
Program
Program for Wednesday, July 30th