本·莫斯科夫斯基 使用区间和时间反转进行组合推理。 (英语) Zbl 1378.03017号 安。数学。Artif公司。智力。 71,编号1-3,175-250(2014).MSC公司:03B44号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},Ann.数学。Artif公司。智力。71,编号1--3,175-250(2014;Zbl 1378.03017) 全文: 内政部
本杰明·韦伊 程序逻辑演算中的谓词抽象。 (英语) Zbl 1221.68066号 科学。计算。程序。 76,第10号,861-876(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Weiß},科学。计算。程序。76,第10号,861--876(2011;Zbl 1221.68066) 全文: 内政部
安德烈·杜奈茨;舍尔霍恩,格哈德;沃尔夫冈·雷夫 代数规范中的自动缺陷检测。 (英语) Zbl 1207.68337号 J.汽车。推理 45,第4期,359-395(2010).MSC公司:68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Dunets}等人,J.Autom。推理45,No.4,359--395(2010;Zbl 1207.68337) 全文: 内政部
安德烈·杜奈茨;舍尔霍恩,格哈德;沃尔夫冈·雷夫 自由数据类型的有界关系分析。 (英语) Zbl 1138.68446号 Beckert,Bernhard(编辑)等人,《测试和证明》。第二届国际会议,2008年4月9日至11日,意大利普拉托,TAP 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79123-2/pbk)。计算机科学课堂讲稿496699-115(2008)。MSC公司:60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Dunets}等人,Lect。注释计算。科学。4966,99-115(2008;Zbl 1138.68446) 全文: 内政部
弗兰克·奥特梅尔;舍尔霍恩,格哈德 正式故障树分析-实践经验。 (英语) Zbl 1335.68146号 Merz,Stephan(编辑)等人,第六届关键系统自动验证国际研讨会论文集(AVoCS 2006),法国南希,2006年9月18日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记185139-151(2007)。MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ortmier}和\textit{G.Schellhorn},电子。注释Theor。计算。科学。185139-151(2007年;兹bl 1335.68146) 全文: 内政部
阿希姆·D·布鲁克。;沃尔夫,伯克哈特 使用理论形态来实现形式化方法工具。 (英语) Zbl 1023.68654号 Geuvers,Herman(编辑)等人,《证明和程序的类型》。2002年4月24日至28日,荷兰卑尔根达尔,TYPES 2002国际研讨会。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2646, 59-77 (2003).MSC公司:68吨15 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{B.Wolff},莱克特。注释计算。科学。2646、59--77(2003年;Zbl 1023.68654) 全文: 链接
约翰·舒曼(Johann M.Schumann)。 软件工程中的自动定理证明。Donald Loveland引言。 (英语) Zbl 0977.68074号 柏林:斯普林格。xiv,228 p.79.00马克;öS 577.00;新加坡法郎70.00;£27.00; $ 39.95 (2000). 审核人:Mihai Cipu(布库雷什蒂) MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Schumann},软件工程中的自动定理证明。唐纳德·洛夫兰(Donald Loveland)前言。柏林:施普林格出版社(2000;Zbl 0977.68074)