CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Mantas Baksys
Affiliation: University of Cambridge
Web page: https://www.cst.cam.ac.uk/people/mb2412
Pages in this Program
Program
Program for Friday, August 1st