大卫·哈丁（编辑）;朱利安·施马耳茨（编辑） 第十届ACL2定理证明器及其应用国际研讨会论文集，美国德克萨斯州奥斯汀，2011年11月3-4日。 （英文） Zbl 1490.68018号 理论计算机科学电子论文集（EPTCS）70.滑铁卢：开放出版协会（OPA）。第112页。，仅电子版，开放存取（2011年）。 对数学感兴趣的文章将单独进行审查。 引用于1审查引用于2文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 68V20型 数学形式化与定理证明 00B25型 杂项特定利益的会议记录 软件：ACL2型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hardin}（编辑）和textit{J.Schmaltz}（编），第十届ACL2定理证明器及其应用国际研讨会论文集，美国德克萨斯州奥斯汀，2011年11月3-4日。滑铁卢：开放出版协会（OPA）（2011；Zbl 1490.68018） 全文： 内政部 链接