IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Michael Kohlhase
Affiliation: Computer Science, FAU Erlangen-N├╝rnberg
Web page: http://kwarc.info/kohlhase
Pages in this Program
Program
Program for Thursday, July 2nd