APA Style
Platzer, André, Sutcliffe, Geoff. (2021).
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (1).
Switzerland:
Springer Cham.
Chicago Style
Platzer, André, Sutcliffe, Geoff.
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.
MLA Style
Platzer, André, Sutcliffe, Geoff.
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.
Turabian Style
Platzer, André, Sutcliffe, Geoff.
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.