Record citatie :: Discovery Services

APA (7e ed.) Bronvermelding

Bonacina. (2013). Automated Deduction â€" CADE-24 (1.). Springer Berlin Heidelberg.

Chicago (17e ed.) Bronvermelding

Bonacina. Automated Deduction â€" CADE-24. 1. Springer Berlin Heidelberg, 2013.

MLA (8e ed.) Bronvermelding

Bonacina. Automated Deduction â€" CADE-24. 1. Springer Berlin Heidelberg, 2013.

Let op: Deze citaties zijn niet altijd 100% accuraat.