IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Çigdem Gencer
Affiliation: CNRS-INPT-UT3, IRIT, Toulouse
Pages in this Program
Program
Program for Wednesday, July 3rd