Mizoguchi、Yoshihiro（编辑）;雅克·加里格（编辑）;马纳布市Hagiwara（编辑）;阿费尔特，雷纳德（编辑） 可靠理论和实现的定理证明和证明（TPP 2014）。2014年12月3日至5日，日本福冈，第十届定理证明与证明研讨会讲座。 （英语、日语） 1310.00023赞比亚比索 MI课堂笔记61.福冈：九州大学、工业数学研究所和数学研究生院。viii，120页。(2014). 本卷的文章不会单独编入索引。 MSC公司： 00A69号 普通应用数学 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 94-06 与信息和传播理论有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mizoguchi}（ed.）等人，可靠理论和实现的定理证明和证明（TPP 2014）。2014年12月3--5日，日本福冈，第十届定理证明与证明研讨会演讲（日语）。福冈：九州大学，工业数学研究所和数学研究生院（2014；Zbl 1310.00023） 全文： 链接