哈拉尔德·赞克;莎拉·温克勒;阿尔特·米德尔多普 超越多项式和皮亚诺算法——初等和序数解释的自动化。 (英语) Zbl 1315.68168号 J.塞姆。计算。 69129-158(2015).MSC公司:2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Symb。计算。69、129--158(2015;Zbl 1315.68168) 全文: 内政部
塞萨里·卡利西克;约瑟夫·乌尔班 用数百万个引理证明学习辅助定理。 (英语) Zbl 1315.68220号 J.塞姆。计算。 69, 109-128 (2015).MSC公司:68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{J.Urban},J.Symb。计算。69、109-128(2015年;Zbl 1315.68220) 全文: 内政部 arXiv公司
艾达、铁雄;法杜阿·古拉比;高桥,Kazuko 将多边形结折纸形式化。 (英语) Zbl 1314.68348号 J.塞姆。计算。 69, 93-108 (2015).MSC公司:68单位05 57平方米 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Ida}等人,J.Symb。计算。69、93——108(2015年;Zbl 1314.68348) 全文: 内政部
mnesc博士,Isabela;都铎Jebelean 通过机械证明合成列表算法。 (英语) Zbl 1315.68263号 J.塞姆。计算。 69, 61-92 (2015).MSC公司:68周01 68磅05分 68页第10页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Drémnesc}和\textit{T.Jebelean},J.Symb。计算。69、61-92(2015年;Zbl 1315.68263) 全文: 内政部
瓦利德·贝尔基尔;亚尼克·骑士;迈克尔·鲁西诺维奇 参数化自动机仿真及其在服务组合中的应用。 (英语) Zbl 1314.68035号 J.塞姆。计算。 69, 40-60 (2015).MSC公司:68英里11 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}等人,J.Symb。计算。69、40-60(2015年;Zbl 1314.68035) 全文: 内政部
Alpunte,M。;D.巴利斯。;弗雷奇纳,F。;萨皮尼亚,J。 探索条件重写逻辑计算。 (英语) Zbl 1315.68166号 J.塞姆。计算。 69, 3-39 (2015).MSC公司:2012年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Symb。计算。69、3--39(2015年;Zbl 1315.68166) 全文: 内政部
阿黛尔·布胡拉(编辑) 软件科学中符号计算专题。 (英语) Zbl 1304.00041号 J.塞姆。计算。 69, 1-2 (2015).MSC公司:00时25分 68-06 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}(编辑),J.Symb。计算。69,1--2(2015;Zbl 1304.00041) 全文: 内政部