Hurd, J., & Melham, T. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.
শিকাগো স্টাইলে সাইটেশনHurd, Joe, এবং Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
এমএলএ সাইটেশনHurd, Joe, এবং Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.