Chen, Mingshuai http://orcid.org/0000-0001-9663-7441
Wang, Jian http://orcid.org/0000-0002-8840-5605
An, Jie http://orcid.org/0000-0001-9260-9697
Zhan, Bohua http://orcid.org/0000-0001-5377-9351
Kapur, Deepak http://orcid.org/0000-0003-2464-2895
Zhan, Naijun http://orcid.org/0000-0003-3298-3817
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/