大卫·派姆;艾克·里特;埃德蒙·罗宾逊 经典命题矩阵方法的证明理论分析。 (英文) Zbl 1327.03042号 J.日志。计算。 24,第1期,283-301(2014).MSC公司:03财年03 03B05号 03B35型 第18页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}等人,J.Log。计算。24,第1号,283--301(2014;Zbl 1327.03042) 全文: 内政部 链接
列夫·贝克莱米舍夫;尤里·古雷维奇 带析取的命题原逻辑。 (英文) Zbl 1327.03023号 J.日志。计算。 24,第1期,257-282(2014).MSC公司:03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}和\textit{Y.Gurevich},J.日志。计算。24,第1号,257--282(2014;Zbl 1327.03023) 全文: 内政部 链接
谢尔盖·巴贝尼舍夫;马丁斯(Manuel A.Martins)。 隐逻辑中的演绎分离定理。 (英文) Zbl 1327.03022号 J.日志。计算。 24,第1期,233-255(2014).MSC公司:03B70号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{M.A.Martins},J.Log。计算。24,第1号,233--255(2014;Zbl 1327.03022) 全文: 内政部
塔贾纳·卢托瓦克;詹姆斯·哈兰德 线性逻辑序列证明中一些冗余的检测和分析。 (英文) 兹比尔1327.03044 J.日志。计算。 第1期第24页,第187-232页(2014年).MSC公司:03楼52 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{T.Lutovac}和\textit{J.Harland},J.Log。计算。24,第1号,187--232(2014;Zbl 1327.03044) 全文: 内政部
乔治·马格里 用于对错误驱动的排名算法及其对儿童语音策略习得建模的影响进行稳健分析的工具。 (英文) Zbl 1290.68064号 J.日志。计算。 24,第1期,135-186(2014).MSC公司:68问题32 91层20 PDF格式BibTeX公司 XML格式引用 \textit{G.Magri},J.Log。计算。24,第1号,135--186(2014;Zbl 1290.68064) 全文: 内政部 链接
鹿岛,良 ECTL的公理化。 (英文) Zbl 1327.03013号 J.日志。计算。 24,第1期,117-133(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.鹿岛},J.Log。计算。24,第1号,117--133(2014;Zbl 1327.03013) 全文: 内政部
史蒂夫·巴克;圭多·波埃拉;Dov Gabbay公司;基诺维斯,瓦莱里奥 答案集编程中委托和撤销方案的推理。 (英文) Zbl 1361.68219号 J.日志。计算。 24,第1期,89-116(2014).MSC公司:68T27型 68N17号 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Barker}等人,J.Log。计算。24,第1号,89-116(2014年;兹bl 1361.68219) 全文: 内政部 链接
芭芭拉·科尔迪;绍克·莫;萨沙拉多米罗维奇;帕特里克·施韦策 攻击防御树。 (英文) Zbl 1311.68062号 J.日志。计算。 24,第1期,55-87(2014).MSC公司:68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kordy}等人,J.Log。计算。24、1号、55--87(2014;Zbl 1311.68062) 全文: 内政部 链接
西蒙·克莱默;拉杰夫·戈尔;冈本英治 具有信任关系和信任域的计算机辅助决策(密码应用)。 (英文) Zbl 1361.68275号 J.日志。计算。 24,第1期,第19-54页(2014年).MSC公司:68T42型 68米14 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer}等人,J.Log。计算。24,第1号,第19--54号(2014;Zbl 1361.68275) 全文: 内政部 链接
罗伯特·德莫洛姆 有期限的义务:动态道义逻辑的形式化。 (英文) Zbl 1327.03014号 J.日志。计算。 24,第1期,第1-17页(2014年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe},J.Log。计算。24,第1号,第1-17号(2014;Zbl 1327.03014) 全文: 内政部 链接