Giesl, Jürgen http://orcid.org/0000-0003-0283-8520
Giesl, Peter http://orcid.org/0000-0003-1421-6980
Hark, Marcel http://orcid.org/0000-0001-5111-3177
Chapter History
First Online: 20 August 2019
Conference Information
Conference Acronym: CADE
Conference Name: International Conference on Automated Deduction
Conference City: Natal
Conference Country: Brazil
Conference Year: 2019
Conference Start Date: 27 August 2019
Conference End Date: 30 August 2019
Conference Number: 27
Conference ID: cade2019
Conference URL: https://www.mat.ufrn.br/CADE-27/