IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Florian Rabe
Affiliation: FAU Erlangen-Nürnberg and LRI Paris
Web page: http://kwarc.info/frabe/
Pages in this Program
Program
Program for Thursday, July 2nd