Automated Deduction – CADE 27

MLA

Fontaine. Automated Deduction – Cade 27. Springer International Publishing, 2019.

APA

Fontaine, F. (2019). Automated Deduction – CADE 27. Springer International Publishing.

Chicago

Fontaine Automated Deduction – CADE 27. : Springer International Publishing, 2019.