Cofnodi Dyfyniadau :: Discovery Services

Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.