Petrovčič, J., Denis, D. E. N., & Todorovski, L. (2025). Combining Textual and Structural Information for Premise Selection in Lean.
Citazione stile Chigago Style (17a edizione)Petrovčič, Job, David Eliecer Narvaez Denis, e Ljupčo Todorovski. Combining Textual and Structural Information for Premise Selection in Lean. 2025.
Citatione MLA (9a ed.)Petrovčič, Job, et al. Combining Textual and Structural Information for Premise Selection in Lean. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.