ISO-690 (author-date, English)

DE LAMARLIERE, Paul Geneau, MELQUIOND, Guillaume und FAISSOLE, Florian, 2023. Slimmer Formal Proofs for Mathematical Libraries. In: . 4 September 2023.

Elsevier - Harvard (with titles)

de Lamarliere, P.G., Melquiond, G., Faissole, F., 2023. Slimmer Formal Proofs for Mathematical Libraries, in: . https://doi.org/10.1109/ARITH58626.2023.00026

American Psychological Association 7th edition

de Lamarliere, P. G., Melquiond, G., & Faissole, F. (2023, September 4). Slimmer Formal Proofs for Mathematical Libraries. https://doi.org/10.1109/ARITH58626.2023.00026

Springer - Basic (author-date)

de Lamarliere PG, Melquiond G, Faissole F (2023) Slimmer Formal Proofs for Mathematical Libraries

Juristische Zitierweise (Stüber) (Deutsch)

de Lamarliere, Paul Geneau/ Melquiond, Guillaume/ Faissole, Florian, Slimmer Formal Proofs for Mathematical Libraries, 2023, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.