Niemetz, Aina http://orcid.org/0000-0003-2600-5283
Preiner, Mathias http://orcid.org/0000-0002-7142-6258
Reynolds, Andrew http://orcid.org/0000-0002-3529-8682
Zohar, Yoni http://orcid.org/0000-0002-2972-6695
Barrett, Clark http://orcid.org/0000-0002-9522-3084
Tinelli, Cesare http://orcid.org/0000-0002-6726-775X
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/