Gaya APA
Automated reasoning
.
(2022).
Cham, Switzerland:
Springer Cham.
Gaya MLA
Automated reasoning
.
.
Cham, Switzerland:
Springer Cham,
2022.
Electronic Resource.