CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Roland Coghetto
Affiliation: Independant scholar (cafr-msa2p asbl - Belgium)
Pages in this Program
Program
Program for Saturday, August 2nd