Leitsch, A., & Lolic, A. (2024). Herbrand's Theorem in Refutation Schemata.
Style de citation Chicago (17e éd.)Leitsch, Alexander, et Anela Lolic. Herbrand's Theorem in Refutation Schemata. 2024.
Style de citation MLA (9e éd.)Leitsch, Alexander, et Anela Lolic. Herbrand's Theorem in Refutation Schemata. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.