杰根,基督;Jochen Hoenicke公司 保证明树插值。 (英语) Zbl 1356.68184号 J.自动化。推理 57,第1号,67-95(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和\textit{J.Hoenicke},J.Autom。推理57,No.1,67--95(2016;Zbl 1356.68184) 全文: 内政部
Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) 兹比尔1356.68203 J.自动化。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
马蒂亚斯·施莱普费尔;乔治·威森巴赫 超分辨率、子句和局部证明的标记插值系统。 (英语) Zbl 1356.68199号 J.自动化。推理 57,编号1,3-36(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schlaipfer}和\textit{G.Weissenbacher},J.Autom。推理57,No.1,3--36(2016;Zbl 1356.68199) 全文: 内政部
丹尼尔·克罗宁(编辑);安德烈·里巴尔琴科(编辑) 前言:插补专刊。 (英语) Zbl 1336.00113号 J.自动化。推理 57,第1期,第1-2期(2016).MSC公司:00B15号机组 03-06 03C40号 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}(编辑)和textit{A.Rybalchenko}(主编),J.Autom。推理57,No.1,1--2(2016;Zbl 1336.00113) 全文: 内政部