TY  - GEN
AU  - Fontaine, Pascal
CN  - QA76.9.A96
DO  - 10.1007/978-3-030-29436-6
DO  - doi
ID  - 913673
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-29436-6
SN  - 9783030294366
SN  - 3030294366
T1  - Automated deduction -- CADE 27 :27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
TI  - Automated deduction -- CADE 27 :27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-29436-6
VL  - 11716
ER  -