IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Filip Maric
Affiliation: University of Belgrade
Web page: http://www.matf.bg.ac.rs/~filip
Pages in this Program
Program
Program for Thursday, July 2nd