Style de citation APA (7e éd.)

Hivert, F. (2024). Machine Checked Proofs and Programs in Algebraic Combinatorics.

Style de citation Chicago (17e éd.)

Hivert, Florent. Machine Checked Proofs and Programs in Algebraic Combinatorics. 2024.

Style de citation MLA (9e éd.)

Hivert, Florent. Machine Checked Proofs and Programs in Algebraic Combinatorics. 2024.

Attention : ces citations peuvent ne pas être correctes à 100%.