CADE-29: 29TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Fabio Papacchini
Affiliation: Lancaster University in Leipzig
Web page: https://www.research.lancs.ac.uk/portal/en/people/fabio-papacchini
Pages in this Program
Program
Program for Sunday, July 2nd