比塔·科尼科夫斯卡 二对三:在三值谓词演算上进行软件规范和验证的二值逻辑。 (英语) Zbl 0802.03028号 J.应用。非类别。日志。 3,第1号,39-71(1993). 审核人:C.Masalagiu(伊阿什) MSC公司:03B80号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska},J.Appl。非类别。日志。3,编号1,39--71(1993;Zbl 0802.03028) 全文: 内政部
哈维尔·利奇;苏珊娜·尼娃 函数和数学用定理证明器的基础。 (英语) Zbl 0798.68152号 J.应用。非类别。日志。 3,第1期,7-38(1993).MSC公司:68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leach}和\textit{S.Nieva},J.Appl。非类别。日志。3,编号1,7--38(1993;Zbl 0798.68152) 全文: 内政部