IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Silvio Ghilardi
Affiliation: Università degli Studi di Milano, Italy
Web page: http://users.mat.unimi.it/users/ghilardi/allegati/research.html
Pages in this Program
Program
Program for Friday, July 3rd
Program for Thursday, July 2nd