Cite
HARVARD 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. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100086998475.0x000001