×
David A.Basin。;罗伯特·康斯特布尔。

元框架。 （英语） Zbl 0922.03019号

Huet，Gérard（编辑），《逻辑环境》。剑桥：大学出版社。1-29 (1993).
关于整个系列，请参见[Zbl 0810.68059号]。

引用于1审查
引用于11文件

MSC公司：

03B35型 证明和逻辑操作的机械化
68吨15 定理证明（演绎、解析等）（MSC2010）
03B70号 计算机科学中的逻辑
68号01 软件理论中的一般主题
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

自动理论证明

引文：

Zbl 0922.03020号
PDF格式BibTeX公司 XML格式引用
\textit{D.A.盆地}和\textit{R.L.Constable}，in：逻辑环境。剑桥：大学出版社。1--29（1993；Zbl 0922.03019）