CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
M. Pilar Velez
Affiliation: Universidad Nebrija
Web page: https://orcid.org/0000-0002-5724-4300
Pages in this Program
Program
Program for Friday, August 1st