ACL2 在 6.2、6.3 和 6.4 版本中的增强
人工智能
2014-06-09 v1 计算机科学中的逻辑
数学软件
摘要
我们报告了自 2013 年 ACL2 研讨会以来对 ACL2 所做的改进。
引用
@article{arxiv.1406.1556,
title = {Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4},
author = {Matt Kaufmann and J Strother Moore},
journal= {arXiv preprint arXiv:1406.1556},
year = {2014}
}
备注
In Proceedings ACL2 2014, arXiv:1406.1238