IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Karel Chvalovský
Affiliation: Czech Institute of Informatics, Robotics, and Cybernetics, Czech Technical University in Prague
Pages in this Program
Program
Program for Wednesday, July 1st