IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Mauricio Ayala-Rincón
Affiliation: Universidade de Brasília
Web page: https://mat.unb.br//~ayala/lsfa2007/
Pages in this Program
Program
Program for Saturday, July 6th