迈克尔·加巴伊 双边主义不提供经典逻辑的证明理论处理(出于技术原因)。 (英语) Zbl 1436.03289号 J.应用。日志。 25补遗,S108-S122(2017).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbay},J.应用。日志。25补遗,S108--S122(2017;Zbl 1436.03289) 全文: 内政部
塞尔吉奥·莫塔 永无止境的递归。 (英语) Zbl 1439.03076号 J.应用。日志。 25, 89-108 (2017); 更正J.应用。日志。-IfCoLog J.日志。申请。第5期,第8期,1775-1778(2018)。MSC公司:03D20日 03D25号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mota},J.应用。日志。25、89——108(2017年;Zbl 1439.03076) 全文: 内政部
诺里希罗·卡米德 成串的顺序信息。 (英语) Zbl 1436.03144号 J.应用。日志。 15, 150-170 (2016).MSC公司:03B47号 03B45号 03B70号 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.应用。日志。15、150-170(2016年;Zbl 1436.03144) 全文: 内政部
默多克·J·加贝。 名词性方程式推理的统一:名词集合上的等式代数。 (英语) Zbl 1239.03019号 J.应用。日志。 10,第2期,199-217(2012).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。10,第2号,199--217(2012;Zbl 1239.03019) 全文: 内政部
朱塞佩·普里米埃罗;马里亚罗萨利亚·塔迪奥 形式化可信通信的模式类型理论。 (英语) Zbl 1254.68247号 J.应用。日志。 10,编号1,92-114(2012). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero}和\textit{M.Taddeo},J.Appl。日志。10,第1号,92--114(2012;Zbl 1254.68247) 全文: 内政部 链接
配件,梅尔文 证明逻辑和混合逻辑。 (英语) Zbl 1215.03032号 J.应用。日志。 8,编号4,356-370(2010).MSC公司:03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{M.配件},J.应用。日志。8,编号4,356-370(2010年;兹bl 1215.03032) 全文: 内政部
科林·豪森 逻辑能与概率结合吗?可能。 (英语) Zbl 1171.03315号 J.应用。日志。 7,第2期,177-187(2009).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.Howson},J.应用。日志。7,第2号,177--187(2009;Zbl 1171.03315) 全文: 内政部
塞尔默布林斯乔尔 逻辑学家宣言:终于让基于逻辑的人工智能成为自己的一个领域。 (英语) Zbl 1158.68437号 J.应用。日志。 6,第4号,502-525(2008).MSC公司:68T01型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bringsjord},J.应用。日志。6,第4号,502--525(2008;Zbl 1158.68437) 全文: 内政部
康斯坦丁·阿库达斯 计算、超计算和物理科学。 (英语) Zbl 1167.03002号 J.应用。日志。 6,第4期,461-475(2008). 审核人:Albert A.Mullin(麦迪逊) MSC公司:03A05号 03日第10天 03D20日 第68季度01 2005年第68季度 68T01型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{K.Arkoudas},J.Appl。日志。6,第4号,461--475(2008;Zbl 1167.03002) 全文: 内政部
Farmer,William M。 简单类型理论的七个优点。 (英语) Zbl 1149.03012号 J.应用。日志。 6,第3期,267-286(2008).MSC公司:03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},J.Appl.(《应用杂志》)。日志。6,第3号,267--286(2008;Zbl 1149.03012) 全文: 内政部
维克托·潘布奇安 公理化几何结构。 (英语) Zbl 1143.03007号 J.应用。日志。 6,第1期,24-46(2008). 审核人:T.Thrivikraman(尼勒什瓦) MSC公司:03B30型 51F99型 51M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Pambuccian},J.Appl.(文本{V.潘布奇},J应用)。日志。6,编号1,24-46(2008;Zbl 1143.03007) 全文: 内政部
马西莫·弗朗西切特;马尔滕·德·里杰克 模型检查混合逻辑(应用于半结构化数据)。 (英语) Zbl 1100.68065号 J.应用。日志。 4,第3号,279-304(2006).MSC公司:60年第68季度 03B44号 03B45号 2015年第68季度 2017年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{M.de Rijke},J.Appl。日志。4、编号3、279--304(2006;Zbl 1100.68065) 全文: 内政部