Sharma,阿伦;斯蒂芬,弗兰克;尤里·文特索夫 思维变化复杂性的广义概念。 (英语) Zbl 1076.68066号 Inf.计算。 189,第2期,235-262(2004).MSC公司:68T05型 68问题32 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma}等人,《信息计算》。189,第2号,235--262(2004;Zbl 1076.68066) 全文: 内政部
保罗·安德烈·梅利埃 比较线性逻辑模型中类型的层次结构。 (英语) Zbl 1052.03038号 Inf.计算。 189,第2期,202-234(2004).MSC公司:03楼52 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès},Inf.计算。189,第2号,202--234(2004;Zbl 1052.03038) 全文: 内政部 哈尔
阿尔伯特·阿塞里亚斯;玛丽亚·路易莎 关于解析和相关命题证明系统的自动化。 (英语) Zbl 1051.03014号 Inf.计算。 189,第2期,182-201(2004).MSC公司:03B35型 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{M.L.Bonet},Inf.Compute。189,第2号,182--201(2004;Zbl 1051.03014) 全文: 内政部
马库斯·洛伊;安卡·穆斯科尔 有界MSC通信。 (英语) Zbl 1091.68006号 Inf.计算。 189,第2期,160-181(2004).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}和\textit{A.Muscholl},Inf.Compute。189,编号2,160--181(2004;Zbl 1091.68006) 全文: 内政部
Funda Ergün;拉维·库马尔;罗尼特·鲁宾菲尔德 快速近似概率可检查证明。 (英语) Zbl 1075.68032号 Inf.计算。 189,第2期,135-159(2004).MSC公司:2015年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ergün}等人,《信息计算》。189,编号2,135--159(2004;Zbl 1075.68032) 全文: 内政部