Platzer, A., & Sutcliffe, G. (2021). Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (1.). Springer Nature. https://doi.org/10.1007/978-3-030-79876-5
Citace podle Chicago (17th ed.)Platzer, André, a Geoff Sutcliffe. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. 1. Netherlands: Springer Nature, 2021. https://doi.org/10.1007/978-3-030-79876-5.
Citace podle MLA (9th ed.)Platzer, André, a Geoff Sutcliffe. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. 1. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-79876-5.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..