Gem citationer :: Discovery Services

APA (7th ed.) Citation

Platzer. (2021). Automated Deduction â€" CADE 28 (1.). Springer International Publishing.

Chicago Style (17th ed.) Citation

Platzer. Automated Deduction â€" CADE 28. 1. Springer International Publishing, 2021.

MLA (8th ed.) Citation

Platzer. Automated Deduction â€" CADE 28. 1. Springer International Publishing, 2021.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.