Dowek, G., & Jiang, Y. Enumerating proofs of positive formulae.
শিকাগো স্টাইলে সাইটেশনDowek, Gilles., এবং Ying Jiang. Enumerating Proofs of Positive Formulae.
এমএলএ সাইটেশনDowek, Gilles., এবং Ying Jiang. Enumerating Proofs of Positive Formulae.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.