林,群;罗克内,J.G。 多项式的一组中心形式。 (英语) Zbl 0783.65046号 比特币 32,第1期,167-176(1992). 审核人:H.Ratschek(杜塞尔多夫) 理学硕士:65克30 65时10分 65日第15天 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lin}和\textit{J.G.Rokne},BIT 32,No.1,167--176(1992;Zbl 0783.65046) 全文: 内政部
Sylvan Elhay;格鲁布,Gene H。;雅罗斯拉夫·考茨基 权重函数和的雅可比矩阵。 (英语) Zbl 0783.65037号 比特币 32,第1期,143-166(1992). 审核人:D.Braess(波鸿) 理学硕士:65楼30 65层25 65天32分 PDF格式BibTeX公司 XML格式引用 \textit{S.Elhay}等人,BIT 32,No.1,143--166(1992;Zbl 0783.65037) 全文: 内政部
卡尔沃,M.P。;桑兹·塞尔纳(J.M.Sanz-Serna)。 正则Runge-Kutta-Nyström方法的阶条件。 (英语) Zbl 0802.65089号 比特币 32,第1期,131-142(1992). 审核人:U.Göhner(莱昂伯格) 理学硕士:65升06 65升05 37倍X 70H15型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Calvo}和\textit{J.M.Sanz-Serna},BIT 32,No.1,131--142(1992;Zbl 0802.65089) 全文: 内政部
J.C.布彻。;F.H.奇普曼。 指数函数的广义Padé近似。 (英语) Zbl 0789.65063号 比特币 32,第1期,118-130(1992). 审核人:H.Ade(美因茨) 理学硕士:65L20英寸 65升06 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Butcher}和\textit{F.H.Chipman},BIT 32,No.1,118--130(1992;Zbl 0789.65063) 全文: 内政部
A.贝伦。;Jackiewicz,Z。;泽纳罗,M。 用两步龙格-库塔法对单隐式公式进行局部误差估计。 (英语) Zbl 0783.65062号 比特币 32,第1期,104-117(1992). 审核人:A.Galántai(Miskolc-Egyetemvaros) 理学硕士:65升06 65升70 65升05 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{A.Bellen}等人,BIT 32,No.1,104--117(1992;Zbl 0783.65062) 全文: 内政部
安妮·萨维森 关于类型论中命题的规范、子集类型和解释。 (英语) Zbl 0788.68095号 比特币 32,第1期,84-101(1992).理学硕士:60年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Salvesen},BIT 32,编号1,84--101(1992;Zbl 0788.68095) 全文: 内政部
埃里克·帕姆格伦;维戈·斯托尔滕贝格·汉森 关于Martin-Löf的部分类型理论的评论。 (英语) Zbl 0787.03051号 比特币 32,第1号,70-83(1992).理学硕士:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren}和\textit{V.Stoltenberg-Hansen},BIT 32,No.1,70--83(1992;Zbl 0787.03051) 全文: 内政部
薄荷,G。 直觉命题演算子类的复杂性。 (英语) Zbl 0790.03041号 比特币 32,第1期,64-69页(1992年). 审核人:M.Teruamšvili(第比利斯) 理学硕士:2015年3月15日 03B25号 03秒20 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},BIT 32,编号1,64--69(1992;Zbl 0790.03041) 全文: 内政部
拉尔斯·哈伦亚斯 关于定义、归纳和递归系统。 (英语) Zbl 0786.03028号 比特币 32,第1期,第45-63页(1992年). 审核人:R.S.卢巴斯基(兰卡斯特) 理学硕士:03日70 PDF格式BibTeX公司 XML格式引用 \textit{L.Hallnäs},BIT 32,编号1,45-63(1992;Zbl 0786.03028) 全文: 内政部
丹尼尔·弗雷德霍姆;斯维托扎尔·塞拉菲莫夫斯基 部分归纳定义为\(\lambda \)-术语的类型系统。 (英语) Zbl 0786.03011号 比特币 32,第1期,30-44(1992).理学硕士:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fredholm}和\textit{S.Serafimovski},BIT 32,No.1,30--44(1992;Zbl 0786.03011) 全文: 内政部
乔尔·德斯佩鲁 提奥:一个交互式证明开发系统。 (英语) Zbl 0784.68074号 比特币 32,第1期,15-29页(1992年). 审核人:L.州(布库雷什蒂) 理学硕士:第68页第15页 03B35型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux},BIT 32,编号1,15--29(1992;Zbl 0784.68074) 全文: 内政部
可口、蒂埃里 类型理论中的树悖论。 (英语) Zbl 0787.03049号 比特币 32,编号1,10-14(1992年).理学硕士:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand},BIT 32,编号1,10--14(1992;Zbl 0787.03049) 全文: 内政部
洛伊奇科尔森 列表原语递归和计算inf的复杂性。 (英语) Zbl 0787.68047号 比特币 32,第1期,第5-9页(1992年).理学硕士:65年第68季度 68第05页 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Colson},BIT 32,编号1,5--9(1992;Zbl 0787.68047) 全文: 内政部