Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.
শিকাগো স্টাইলে সাইটেশনNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
এমএলএ সাইটেশনNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.