IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Serenella Cerrito
Affiliation: IBISC, Univ Evry, Université Paris-Saclay, France
Web page: http://www.ibisc.univ-evry.fr/~serena/
Pages in this Program
Program
Program for Thursday, July 2nd