Kesseli, P., O'Hearn, P., & Cabral, R. S. (2025). Logic.py: Bridging the Gap between LLMs and Constraint Solvers.
Style de citation Chicago (17e éd.)Kesseli, Pascal, Peter O'Hearn, et Ricardo Silveira Cabral. Logic.py: Bridging the Gap Between LLMs and Constraint Solvers. 2025.
Style de citation MLA (9e éd.)Kesseli, Pascal, et al. Logic.py: Bridging the Gap Between LLMs and Constraint Solvers. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.