IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Sonia Marin
Affiliation: University College London
Web page: http://www0.cs.ucl.ac.uk/staff/s.marin/
Pages in this Program
Program
Program for Thursday, July 2nd