Park,琼云;Seo、Jeongbong;松武公园;Lee,Gyesik先生 机械化元理论,无需键入上下文。 (英语) Zbl 1332.68203号 J.汽车。推理 52,第2期,215-239(2014).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人,J.Autom。推理52,No.2,215--239(2014;Zbl 1332.68203) 全文: 内政部
杰西·阿拉玛;汤姆·海斯克斯;丹尼尔·库尔温;叶夫根·齐夫茨瓦泽;约瑟夫·乌尔班 通过语料库分析和核方法进行数学前提选择。 (英语) Zbl 1315.68217号 J.汽车。推理 52,编号2191-213(2014).MSC公司:68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Alama}等人,J.Autom。推理52,No.2,191--213(2014;Zbl 1315.68217) 全文: 内政部 arXiv公司
特默尔库西亚;约尔迪·利维;马图·维拉雷特 未分类条款和对冲的反统一。 (英语) Zbl 1331.68122号 J.汽车。推理 52,第2期,155-190(2014).MSC公司:2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人,J.Autom。推理52,No.2,155--190(2014;Zbl 1331.68122) 全文: 内政部
克莱门斯·巴拉林 Locales:数学理论的模块系统。 (英语) Zbl 1315.68218号 J.汽车。推理 52,第2期,123-153(2014).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballarin},J.Autom。推理52,No.2,123--153(2014;Zbl 1315.68218) 全文: 内政部