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).
MLA -ийн эшлэл (9 дэх хэвлэлт)Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.