弗兰克·芬宁（编辑） 特刊：正式证明。 （英语） Zbl 0937.00019号 J.汽车。推理 23，第3-4号，195-504（1999）. 本期特刊致力于描述在定理证明器中实现重要证明或理论的论文。每个贡献由两部分组成：（1）本期发表的论文，概述了定义、证明、形式化技术等，采用非正式数学语言；（2）实现代码，可通过Kluwer Academic Publisher的网站以电子方式获取，网址为http://www.kluweronline.com/issn/0168-7433每一篇论文都提供了进一步的参考。本卷的文章将单独进行审查。 MSC公司： 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：正式证明；特殊问题；Coq公司；霍尔；伊莎贝尔；腿；米扎尔；NQTHM公司 软件：腿；NQTHM公司；米扎尔；伊莎贝尔；Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}（编辑），J.Autom。推理23，No.3--4，195--504（1999；Zbl 0937.00019） 全文： 内政部