Komel, A. P., Rawson, M., & Suda, M. (2025). Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo.
Citazione stile Chigago Style (17a edizione)Komel, Anja Petković, Michael Rawson, e Martin Suda. Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo. 2025.
Citatione MLA (9a ed.)Komel, Anja Petković, et al. Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.