Gaya APA
Sutcliffe, G.
(2021).
Automated Deduction
(
1st ed. 2021)
.
:
Springer International Publishing.
Gaya MLA
Sutcliffe, Geoff.
"Automated Deduction ".
1st ed. 2021
:
Springer International Publishing,
2021.
Electronic Resource.