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