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