Cite
MLA Citation
Fontaine (Professor of Computer Science), editor. Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings. Cham : Springer, 2019. http://access.bl.uk/ark:/81055/vdc_100086998475.0x000001