IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Haniel Barbosa
Affiliation: Universidade Federal de Minas Gerais (UFMG)
Web page: https://homepages.dcc.ufmg.br/~hbarbosa/
Pages in this Program
Program
Program for Saturday, July 4th