Journal of Automated Reasoning. 2014;53(1):63-103. doi: 10.1007/s10817-013-9298-1 Q40.72025

Formalization of Shannon’s Theorems

香农定理的形式化

DOI: 10.1007/s10817-013-9298-1

摘要 查看摘要

Copyright © Journal of Automated Reasoning. 中文内容为AI机器翻译，仅供参考！