默多克·J·加贝。;克劳斯·皮特·沃思 逻辑和证明中的量词使用允许的名词术语和集合进行搜索。 (英语) Zbl 1382.03037号 J.日志。计算。 25,第2期,473-523(2015)。MSC公司:03B35型 03B15号机组 03财年03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{C.-P.Wirth},J.Log。计算。25,第2号,473--523(2015;Zbl 1382.03037) 全文: 内政部 链接
埃西克,Z。 剩余公园理论。 (英语) Zbl 1341.68115号 J.日志。计算。 25,第2期,453-471(2015)。MSC公司:68问题55 18立方厘米 18 C50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.埃西克},J.Log。计算。25,第2号,453--471(2015;Zbl 1341.68115) 全文: 内政部 arXiv公司
斯文·奥夫·汉森 代表监督。 (英语) Zbl 1322.03007号 J.日志。计算。 25,第2期,443-451(2015)。MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hansson},J.Log。计算。25,第2号,443--451(2015;Zbl 1322.03007) 全文: 内政部
Kuniaki Tamura 混合微积分的一个小模型定理。 (英语) Zbl 1336.03026号 J.日志。计算。 25,编号2405-441(2015)。MSC公司:03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Tamura},J.Log。计算。25,第2号,405--441(2015;Zbl 1336.03026) 全文: 内政部
丹尼斯·瑞安·斯托罗申科;韩、钟和 使用同步树连接语法对绑定变量代词的类型进行建模。 (英语) Zbl 1322.91049号 J.日志。计算。 25,第2期,371-403(2015)。MSC公司:91层20 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Storoshenko}和\textit{C.H.Han},J.Log。计算。25,第2号,371--403(2015;Zbl 1322.91049) 全文: 内政部 链接
斯塔凡·拉尔森 用于感知分类的形式语义。 (英语) Zbl 1322.03024号 J.日志。计算。 25,第2期,335-369(2015)。MSC公司:03B65号 91层20 PDF格式BibTeX公司 XML格式引用 \textit{S.Larsson},J.Log。计算。25,第2号,335--369(2015;Zbl 1322.03024) 全文: 内政部 链接
吴,伊宁;Mikołaj波德拉泽夫斯基 在基于逻辑的论证中实现抗崩溃和不干涉。 (英语) Zbl 1322.68191号 J.日志。计算。 25,第2期,303-333(2015)。MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wu}和\textit{M.Podlaszewski},J.Log。计算。25,第2号,303--333(2015;Zbl 1322.68191) 全文: 内政部
Wakaki、Toshiko 基于优先逻辑编程的优先论证。 (英语) Zbl 1341.68221号 J.日志。计算。 25,第2期,251-301(2015)。MSC公司:第68页第27页 68N17号 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{T.Wakaki},J.Log。计算。25,第2号,251--301(2015;Zbl 1341.68221) 全文: 内政部