计算机科学>计算机科学中的逻辑
标题: 第十七届ACL2定理证明器及其应用国际研讨会论文集
摘要: 本卷包含第17届ACL2定理证明器及其应用国际研讨会(ACL2 2022)上的论文选集。 研讨会是展示与ACL2相关研究和经验的首要技术论坛。
摘要: 本卷包含第17届ACL2定理证明器及其应用国际研讨会(ACL2 2022)上的论文选集。 研讨会是展示与ACL2相关研究和经验的首要技术论坛。
|
|
|
|
|