IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Fabio Papacchini
Affiliation: Lancaster University Leipzig
Web page: https://www.research.lancs.ac.uk/portal/en/people/fabio-papacchini
Pages in this Program
Program
Program for Thursday, July 4th