International Conference on Interactive Theorem Proving ( Viena, Austria), Klein, G., & Gamboa, R. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
ক্লিপবোর্ডে সফলভাবে কপি করা হয়েছে
ক্লিপবোর্ডে কপি করা যায়নি
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি
International Conference on Interactive Theorem Proving ( Viena, Austria), Gerwin Klein, এবং Ruben Gamboa. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings. Cham, Suiza: Springer.
ক্লিপবোর্ডে সফলভাবে কপি করা হয়েছে
ক্লিপবোর্ডে কপি করা যায়নি
M.L.A (9 ম সংস্করণ) উদ্ধৃতি
International Conference on Interactive Theorem Proving ( Viena, Austria), et al. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
ক্লিপবোর্ডে সফলভাবে কপি করা হয়েছে
ক্লিপবোর্ডে কপি করা যায়নি
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.