IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Dale Miller
Affiliation: Inria and LIX/Ecole Polytechnique, France
Web page: http://www.lix.polytechnique.fr/Labo/Dale.Miller
Pages in this Program
Program
Program for Saturday, July 4th
Program for Thursday, July 2nd