IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Tobias Nipkow
Affiliation: Technical University Munich
Web page: http://www.in.tum.de/~nipkow
Pages in this Program
Program
Program for Saturday, July 4th