Requena, B., Letson, A., Nowakowski, K., Beltran-Ferreiro, I., & Sarra, L. (2026). A Minimal Agent for Automated Theorem Proving.
Chicago-Zitierstil (17. Ausg.)Requena, Borja, Austin Letson, Krystian Nowakowski, Izan Beltran-Ferreiro, und Leopoldo Sarra. A Minimal Agent for Automated Theorem Proving. 2026.
MLA-Zitierstil (9. Ausg.)Requena, Borja, et al. A Minimal Agent for Automated Theorem Proving. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.