boyer-moore family | BriefGPT

关键词boyer-moore family

搜索结果 - 1

ACLACL2 定理证明器及其应用国际研讨会第十三届会议论文集
该论文介绍了一个自动化推理系统 ACL2 定理证明器，其应用包括计算系统规范和验证，形式验证等，Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。
PDF9 years ago