Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications. Association for Computing Machinery (ACM).
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতিProceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
M.L.A (8 ম সংস্করণ) উদ্ধৃতিProceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.