IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Martin Bromberger
Affiliation: Max Planck Institute for Informtics
Web page: http://people.mpi-inf.mpg.de/~mbromber/
Pages in this Program
Program
Program for Friday, July 5th