IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Victor Arrial
Affiliation: Irif, Université Paris Cité
Web page: http://www.irif.fr/~arrial
Pages in this Program
Program
Program for Thursday, July 4th