APA Style
Pattinson, Dirk, Kovács, Laura, Blanchette, Jasmin. (2022).
Automated reasoning .
Cham, Switzerland:
Springer Cham.
Chicago Style
Pattinson, Dirk, Kovács, Laura, Blanchette, Jasmin.
Automated reasoning.
Cham, Switzerland:
Springer Cham,
2022.
Text.
MLA Style
Pattinson, Dirk, Kovács, Laura, Blanchette, Jasmin.
Automated reasoning.
Cham, Switzerland:
Springer Cham,
2022.
Text.
Turabian Style
Pattinson, Dirk, Kovács, Laura, Blanchette, Jasmin.
Automated reasoning.
Cham, Switzerland:
Springer Cham,
2022.
Print.