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