Blaauwbroek, L., Cerna, D., Gauthier, T., Jakubův, J., Kaliszyk, C., Suda, M., & Urban, J. (2024). Learning Guided Automated Reasoning: A Brief Survey.
Style de citation Chicago (17e éd.)Blaauwbroek, Lasse, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, et Josef Urban. Learning Guided Automated Reasoning: A Brief Survey. 2024.
Style de citation MLA (9e éd.)Blaauwbroek, Lasse, et al. Learning Guided Automated Reasoning: A Brief Survey. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.