Franz Baader. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Springer.
ক্লিপবোর্ডে সফলভাবে কপি করা হয়েছে
ক্লিপবোর্ডে কপি করা যায়নি
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি
Franz Baader. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Berlín, Alemania: Springer.
ক্লিপবোর্ডে সফলভাবে কপি করা হয়েছে
ক্লিপবোর্ডে কপি করা যায়নি
M.L.A (9 ম সংস্করণ) উদ্ধৃতি
Franz Baader. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Springer.
ক্লিপবোর্ডে সফলভাবে কপি করা হয়েছে
ক্লিপবোর্ডে কপি করা যায়নি
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.