Gonzalez Vega,劳雷亚诺 将量词消去法应用于Birkhoff插值问题。 (英语) Zbl 0870.65007号 J.塞姆。计算。 22,第1期,第83-103页(1996年). 审核人:A.López-Carmona(格拉纳达) MSC公司:65D05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Gonzalez-Vega},J.Symb。计算。22,第1号,83-103(1996年;Zbl 0870.65007) 全文: 内政部
布兰切特·萨德里(F.Blanchet-Sadri)。 关于有限\(\mathcal J\)-平凡半群的半直积和双侧半直积。 (英语) Zbl 0906.20039 RAIRO,通知。塞奥尔。申请。 30,第5期,457-482(1996).MSC公司:2007年7月20日 68瓦30 08A70号 2005年5月20日 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanchet-Sadri},RAIRO,通知。塞奥尔。申请。30,第5号,457--482(1996;Zbl 0906.20039) 全文: 内政部 欧洲DML
卡林,K.V。 关于图片代数。 (英语。俄文原件) Zbl 0861.08005号 离散数学。申请。 6,第6期,627-634(1996); 从Diskretn翻译。材料8,第4期,149-156(1996)。MSC公司:08A70号 68年 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Kharin},离散数学。申请。6、第6、1号(1996;Zbl 0861.08005);从Diskretn翻译。材料8,第4号,149--156(1996) 全文: 内政部
德贾格尔,布拉姆;范·阿施,布拉姆 一类偏微分方程的符号解。 (英语) Zbl 0865.68068号 J.塞姆。计算。 22,第4期,459-468(1996).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.de Jager}和\textit{B.van Asch},J.Symb。计算。22,第4号,459--468(1996;Zbl 0865.68068) 全文: 内政部 链接
托马斯·威尔克 前沿可测试树语言的代数特征。 (英语) 兹伯利0871.68110 西奥。计算。科学。 154,第1期,85-106(1996).MSC公司:70年第68季度 第68季度第45季度 08A70号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{T.Wilke}。计算。科学。154,编号1,85--106(1996;Zbl 0871.68110) 全文: 内政部
戴维·桑吉奥吉 移动进程计算中的位置和交错语义。 (英语) Zbl 0874.68115号 西奥。计算。科学。 155,第1号,39-83(1996).MSC公司:2010年第68季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi},Theor。计算。科学。155,编号1,39--83(1996;Zbl 0874.68115) 全文: 内政部
斯蒂芬·布鲁姆。;佐尔坦·埃西克 ccc上的定点操作。一、。 (英语) Zbl 0874.18006号 西奥。计算。科学。 155,第1期,第1-38页(1996年).MSC公司:18日第15天 68问题55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。155,第1号,1-38(1996;Zbl 0874.18006) 全文: 内政部
普雷姆库马尔·瓦达帕利;Srimani,Pradip K。 三价Cayley图网络中的最短路由。 (英语) Zbl 0900.68330号 Inf.流程。莱特。 57,第4期,183-188(1996).MSC公司:68兰特 05C85号 05C25号 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{P.Vadapalli}和\textit{P.K.Srimani},Inf.过程。莱特。57,第4号,183--188(1996;Zbl 0900.68330) 全文: 内政部
尼古拉斯·伊奥基米迪斯。 无张力Winkler地基上弹性梁一维有限元中的不等式约束。 (英语) Zbl 0875.73332号 有限元素。分析。设计。 24,第2期,67-75(1996).MSC公司:74S05号 74K10型 PDF格式BibTeX公司 XML格式引用 \textit{N.I.碘嘧啶},有限元素。分析。设计。24,第2号,67--75(1996;Zbl 0875.73332) 全文: 内政部
亚当·科夫曼;阿特·施瓦茨。;查尔斯·斯坦顿 斯坦纳和其他可参数化的二次曲面的代数和几何。 (英语) Zbl 0875.68860号 计算。辅助Geom。设计。 13,第3期,257-286(1996).MSC公司:68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Coffman}等人,《计算》。辅助Geom。设计。13,第3号,257--286(1996;Zbl 0875.68860) 全文: 内政部
斯蒂芬·布鲁姆。;佐尔坦·埃西克 语言变体中的自由洗牌代数。 (英语) Zbl 0874.68171号 西奥。计算。科学。 163,编号1-2,55-98(1996).MSC公司:第68季度第45季度 08A70号 08B20号 2016年60月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。163,编号1--2,55-98(1996;Zbl 0874.68171) 全文: 内政部
布鲁诺·库塞尔 语言理论和图文法的泛代数的基本概念。 (英语) 兹比尔0874.68170 西奥。计算。科学。 163,第1-2、1-54号(1996年).MSC公司:第68季度第45季度 08A70号 68兰特 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。163,编号1--2,1--54(1996;Zbl 0874.68170) 全文: 内政部
理查德·雷曼;Jöreskog,K.G。 因子分析在自然科学中的应用。Leslie F.Marcus的附录。 (英语) Zbl 0868.62051号 剑桥:剑桥大学出版社。xii,371页(1996年)。 审核人:V.P.古普塔(斋浦尔) MSC公司:62H25个 62-01 62页99 86A32型 PDF格式BibTeX公司 XML格式引用 \textit{R.Reyment}和\textit{K.G.Jöreskog},《自然科学中的应用因子分析》。Leslie F.Marcus的附录。剑桥:剑桥大学出版社(1996;Zbl 0868.62051) 全文: 内政部
Jon T.巴特勒。;佐佐、通武 斐波那契函数二元决策图中的平均节点数。 (英语) Zbl 0865.05005号 斐波那契Q。 34,第5期,413-422(1996). 审核人:I.斯特拉兹丁斯(里加) MSC公司:2015年1月5日 2016年1月5日 68卢比 06E30年 11层39 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Butler}和textit{T.Sasao},斐波纳契Q.34,第5期,413--422(1996;Zbl 0865.05005)
安德烈·斯科伦(编辑) 逻辑、代数和计算机科学:海伦娜·拉西奥瓦(Helena Rasiowa)和塞西莉亚·劳泽(Cecylia Rauszer),纪念馆,波兰华沙,1995年6月10日。 (英语) Zbl 0859.00017号 牛市。第节。日志。,大学后勤部。25,编号3-4119-208(1996)。 MSC公司:00B25型 03-06 68-06 PDF格式BibTeX公司 XML格式
汉斯·里塞尔 使用Euler-Maclaruin求和公式求二重级数的和。 (英语) Zbl 0870.65003号 比特币 36,第4期,860-862(1996). 审核人:P.Wynn(墨西哥) MSC公司:65B10型 65B15号机组 68瓦30 40A25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Riesel},BIT 36,编号4,860--862(1996;Zbl 0870.6503) 全文: 内政部
麦克唐纳博士。 关于慢收敛交替级数求和的注记。 (英语) Zbl 0870.65002号 比特币 36,第4期,766-774(1996). 审核人:P.Wynn(墨西哥) MSC公司:65B10型 65B15号机组 68瓦30 40A25型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.MacDonald},BIT 36,编号4,766--774(1996;Zbl 0870.65002) 全文: 内政部
齐默尔曼,J.-P。 用Mathematica检验了双中心问题。(Zweizentrenp问题mit Mathematica betrachet.) (德语) Zbl 0941.70003号 Höhler,G.(编辑)等人,11。Computer-Workshopüber Computereinsatz in der Lehre,Halle,Deutschland,30岁。9月-2日。1996年10月。卡尔斯鲁厄:Fachinformationszentrum Karlsruhe,计算机。西奥。普拉克。物理学。7, 38-54 (1996). 审核人:H.N.V.坦佩雷(兰波特) MSC公司:70-08 70F05型 68瓦30 70-04 PDF格式BibTeX公司 XML格式引用 \textit{J.P.齐默尔曼},in:11。Computer-Workshopüber Computereinsatz in der Lehre,Halle,Deutschland,30岁。9月2日。1996年10月。卡尔斯鲁厄:卡尔斯鲁赫面部信息中心。38-54(1996年;Zbl 0941.70003)
阿布·阿莫维奇,拉法 用Maple进行Clifford代数计算。 (英语) Zbl 0861.15043号 Baylis,William E.(编辑),Clifford(几何)代数及其在物理、数学和工程中的应用。1995年7月30日至8月12日在加拿大班夫举行的理论物理暑期学校会议录。马萨诸塞州波士顿:Birkhäuser。463-501 (1996).MSC公司:15A66型 68瓦30 15A63型 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{R.Abłamowicz},in:Clifford(几何)代数及其在物理、数学和工程中的应用。1995年理论物理暑期学校学报,1995年7月30日至8月12日,加拿大班夫。马萨诸塞州波士顿:Birkhäuser。463--501(1996;Zbl 0861.15043)
琼·拉森比 几何代数:工程应用。 (英语) Zbl 0861.15040号 Baylis,William E.(编辑),Clifford(几何)代数及其在物理、数学和工程中的应用。1995年7月30日至8月12日在加拿大班夫举行的理论物理暑期学校会议录。马萨诸塞州波士顿:Birkhäuser。423-440 (1996).MSC公司:15A66型 15A90型 65D18天 2005年第70季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{J.Lasenby},in:Clifford(几何)代数及其在物理、数学和工程中的应用。1995年理论物理暑期学校学报,1995年7月30日至8月12日,加拿大班夫。马萨诸塞州波士顿:Birkhäuser。423-440(1996年;Zbl 0861.15040)
皮尔逊,J.M。;劳埃德,N.G。;克里斯托弗,C.J。 中心条件的算法推导。 (英语) 兹伯利0876.34033 SIAM修订版。 38,第4期,619-636(1996). 审核人:S.Yu。皮柳金(圣彼得堡) MSC公司:34二氧化碳 34-04 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Pearson}等人,SIAM Rev.38,No.4,619--636(1996;Zbl 0876.34033) 全文: 内政部
安吉拉·苏打 映射树结构符号处理程序的半自动多策略方法。 (英语) Zbl 0863.68078号 J.塞姆。计算。 21,第4-6号,615-634(1996).MSC公司:68瓦30 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Sodan},J.Symb。计算。21,编号4--6,615--634(1996;Zbl 0863.68078) 全文: 内政部
莫纳根,M.B。;格迪斯,K.O。;健康,K.M。;G.拉巴恩。;沃科特,S.M。 用Maple V编程。(Programmieren mit Maple V.) (德语) Zbl 0874.68151号 柏林:斯普林格。xi,400页(1996)。 审核人:A.Widiger(罗斯托克) MSC公司:68瓦30 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Monagan}等人,Programmieren mit Maple V.Berlin:Springer(1996;Zbl 0874.68151)
何塞·蒙泰罗;斯里尼瓦斯·德瓦达斯 低功耗时序逻辑电路的计算机辅助设计技术。 (英语) Zbl 0867.68110号 Kluwer国际工程与计算机科学系列.387。多德雷赫特:Kluwer学术出版社。xiii,181 p.英国国防部。165.00; $ 88.00;62.50英镑(1996年)。 审核人:A.Michalski(华沙) MSC公司:68单位07 68-02 94立方厘米10 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Monteiro}和\textit{S.Devadas},低功耗时序逻辑电路的计算机辅助设计技术。多德雷赫特:Kluwer学术出版社(1996;Zbl 0867.68110)
沃尔特·利昂(Walter M.Lioen)。 关于全矩阵的对角逼近。 (英语) Zbl 0874.65033号 J.计算。申请。数学。 75,第1期,35-42(1996). 审核人:U.Langer(林茨) MSC公司:65英尺35英寸 65升06 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Lioen},J.计算。申请。数学。75,第1号,35-42(1996;Zbl 0874.65033) 全文: 内政部
莫里西奥·雷森德。;托马斯·费奥(Thomas A.Feo)。 满足性GRASP。 (英语) Zbl 0864.90092号 Johnson,David S.(编辑)等人,《派系、着色和可满足性》。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。26, 499-520 (1996).MSC公司:90C09型 68页第10页 90C27型 68卢比 68吨99 94立方厘米10 94C12年 PDF格式BibTeX公司 XML格式引用 \textit{M.G.C.Resende}和\textit{T.A.Feo},DIMACS,序列号。离散数学。西奥。计算。科学。26499-520(1996年;Zbl 0864.90092)
马丁·沃斯通 用MAPLE表示理论:一个例子。 (英语) Zbl 0859.20010号 安提斯币。康斯坦·奥维迪乌斯大学。材料。 4,第1期,197-203(1996).MSC公司:20立方厘米 20立方厘米 20C05型 16立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Wursthorn},An.Științ。“奥维迪斯”大学Constanța,Ser。材料4,编号1197-203(1996;Zbl 0859.20010)
沃尔夫冈·基默尔 计算机代数和表示理论。 (英语) Zbl 0874.20001号 安提斯币。康斯坦·奥维迪乌斯大学。材料。 4,第1期,171-196(1996). 审核人:M.Weller(埃森) MSC公司:20-02 20立方厘米 第13页第10页 20C05型 16件U60 16立方厘米 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{W.Kimmerle},安提恩。“奥维迪斯”大学Constanța,Ser。材料4,编号1,171--196(1996;Zbl 0874.20001)
米歇尔·莫万;努林,Lhouari 单纯形消除方案、极值格和最大反链格。 (英语) Zbl 0859.06005号 订单 13,第2期,159-173(1996).MSC公司:06年06月06日 99年6月 06B99号 03E20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.Morvan}和\textit{L.Nourine},第13号令,第2号,159--173(1996;Zbl 0859.06005) 全文: 内政部
艾夫龙,A。 交错双门的结构。 (英语) Zbl 0856.06005号 数学。结构。计算。科学。 6,第3期,287-299(1996).MSC公司:06B99号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},数学。结构。计算。科学。6,第3287-299号(1996年;Zbl 0856.06005) 全文: 内政部
安德烈亚斯·索加茨 动态模量。(动态模块。) (德语) Zbl 0871.68104号 MuPAD报告。斯图加特:图布纳。xii,150 S.(1996)。 审核人:W.M.Seiler(卡尔斯鲁厄) MSC公司:68瓦30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Sorgatz},动态模块。斯图加特:Teubner(1996;Zbl 0871.68104)
MuPAD用户手册。多处理代数数据工具。MuPAD 1.2.2版。包括2张CD-ROM光盘。 (英语) Zbl 0877.68069号 奇切斯特:威利。斯图加特:图布纳。xiv,572页(1996年)。 审核人:W.L.Roque(阿雷格里港) MSC公司:68瓦30 68-00 PDF格式BibTeX公司 XML格式引用 MuPAD用户手册。多处理代数数据工具。MuPAD 1.2.2版。包括2张CD-ROM。奇切斯特:威利;斯图加特:Teubner(1996;Zbl 0877.68069)
斯蒂芬·布鲁姆。;佐尔坦·埃西克 星半环拟变数的两个公理化。 (英语) Zbl 0856.08009号 牛市。EATCS公司 59, 150-152 (1996).MSC公司:08C15号 2015年2月6日 08C10号 08A70号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ésik},公牛。EATCS 59150-152(1996年;Zbl 0856.08009)
见鬼,安德烈 枫树简介。第2版。 (英语) Zbl 0861.65001号 纽约州纽约市:斯普林格。xx,699页(1996年)。 审核人:T.C.Mohan(马德拉斯) MSC公司:65-01年 68-01 68瓦30 65Dxx日 65磅 68甲15 65B10型 65华氏度 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{A.Heck},枫树简介。第二版,纽约州纽约市:施普林格(1996;Zbl 0861.65001)
格雷厄尔,G.-M。;普菲斯特,G。 标准基和合成理论的进展和改进。 (英语) Zbl 0854.13015号 架构(architecture)。数学。 66,第2期,163-176(1996). 审核人:G.Pfister(凯泽斯劳滕) MSC公司:第13页第10页 14B05型 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Greuel}和\textit{G.Pfister},Arch。数学。66,No.2,163--176(1996;Zbl 0854.13015) 全文: 内政部
埃伯哈德·特里斯奇 关于一些图属性的识别复杂性。 (英语) Zbl 0868.68088号 组合数学 16,第2期,259-268(1996).MSC公司:68兰特 2005年第68季度 05C25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Triesch},Combinatorica 16,第2期,259--268(1996;Zbl 0868.68088) 全文: 内政部
A.费肯。;希尔霍斯特,D。;科尔霍夫斯,E.J.H。;水,P.R。 泊松级数上的并行计算机代数。 (英语) Zbl 0858.68048号 模拟。Pr.理论 4,第4期,219-243(1996).MSC公司:68瓦30 68M99型 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{A.Fekken}等人,模拟。Pr.Theory 4,No.4,219--243(1996;Zbl 0858.68048) 全文: 内政部
Jimbo,S。;A.马鲁卡。 一种构造深度为O(logn)的选择网络的方法。 (英语) Zbl 0857.68059号 SIAM J.计算。 25,第4期,709-739(1996).MSC公司:68宽15 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{S.Jimbo}和\textit{A.Maruoka},SIAM J.Compute。25,第4号,709--739(1996;Zbl 0857.68059) 全文: 内政部
理查德·里斯卡;斯坦利·斯坦伯格 使用量词消去法解决稳定性问题。 (英语) Zbl 0854.65074号 Jeltsch,R.(编辑)等人,稳定性理论。1995年5月21日至26日在瑞士阿斯科纳举行的赫尔维茨百年纪念大会。巴塞尔:Birkhä用户。ISNM,国际期刊。数字。数学。121, 205-210 (1996).MSC公司:65个M12 35千克30 2006年6月65日 PDF格式BibTeX公司 XML格式引用 \textit{R.Liska}和\textit{S.Steinberg},ISNM,Int.Ser。数字。数学。121205-210(1996年;Zbl 0854.65074)
见鬼,帕沃;大卫·柯克帕特里克;布伦达·李 对称矩阵和无向图中的舍入。 (英语) Zbl 0920.05062号 离散应用程序。数学。 70,第1期,1-21页(1996年).MSC公司:05C85号 05元50分 05C70号 68兰特 05C38号 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{P.Hell}等人,《离散应用》。数学。70,编号1,1--21(1996;Zbl 0920.05062) 全文: 内政部
瓦西尔·西蒙 线性二次优化算法。 (英语) Zbl 0863.65038号 《纯粹与应用数学》,马塞尔·德克尔. 200. 纽约州纽约市:马塞尔·德克尔。vii,366页(1996年)。 审核人:O.Pastravanu(伊阿什) MSC公司:65K10码 65-02 93B40码 93亿B51 65华氏度 93D21号 93-02 PDF格式BibTeX公司 XML格式引用 \textit{V.Sima},线性二次优化算法。纽约州纽约市:Marcel Dekker(1996;Zbl 0863.65038)
枝野幸男Gunji;久田佐贺;伊藤,Keisuke Bootstrapping系统由布尔代数和非布尔代数之间的不一致关系定义。 (英语) 兹比尔0855.92003 申请。数学。计算。 79,第1号,43-97(1996).MSC公司:92B05型 99年6月 03B80号 05年3月 68年 PDF格式BibTeX公司 XML格式引用 \textit{Y.-P.Gunji}等人,应用。数学。计算。79,第1号,43-97(1996;Zbl 0855.92003) 全文: 内政部
雷纳·W·哈特恩斯坦。(编辑);曼弗雷德·格莱斯纳(编辑) 现场可编程逻辑:智能应用程序、新范式和编译器。1996年9月23日至25日,德国达姆施塔特,1996年FPL第六届国际研讨会。诉讼程序。 (英语) Zbl 1155.68303号 计算机科学课堂讲稿1142.柏林:施普林格(ISBN 3-540-61730-2)。x、 第432页。(1996).MSC公司:68-06 94-06 00B25型 68N20型 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{R.W.Hartenstein}(编辑)和textit{M.Glesner}(主编),现场可编程逻辑:智能应用程序、新范式和编译器。1996年9月23日至25日,德国达姆施塔特,第六届FPL国际研讨会。诉讼程序。柏林:施普林格(1996;Zbl 1155.68303) 全文: 内政部
爱德华·K·耶格斯。;罗纳德·肖恩克维勒(Ronald W.Shonkwiler)。;詹姆斯五世·希律。 生物数学导论:计算机代数模型。 (英语) Zbl 0860.92001号 波士顿:Birkhäuser。x、 417页(1996年)。 审核人:C.A.Braumann(埃沃拉) MSC公司:92B05型 2001年2月 00A06号 92-04 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Yeargers}等人,《生物数学导论:计算机代数模型》。波士顿:Birkhäuser(1996;Zbl 0860.92001)
志原,Kosuke;佐佐木,Tateaki 代数函数的计算机解析延拓和黎曼曲面确定。 (英语) 兹伯利0897.65037 日本J.Ind.Appl。数学。 13,第107-116号(1996年).MSC公司:65小时05 68瓦30 2005年4月14日 14H55型 PDF格式BibTeX公司 XML格式引用 \textit{K.Shiihara}和\textit{T.Sasaki},日本J.Ind.Appl。数学。13,第1号,107--116(1996;Zbl 0897.65037) 全文: 内政部
北本,Takuya 具有任意收敛度的Hensel构造。 (英语) Zbl 0859.65046号 日本J.Ind.Appl。数学。 13,第2期,203-215(1996). 审核人:A.斯威夫特(帕默斯顿北部) MSC公司:65小时05 68瓦30 30立方厘米 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{T.Kitamoto},日本J.Ind.Appl。数学。13,第2号,203--215(1996;Zbl 0859.65046) 全文: 内政部
吉塞拉恩格伦·缪尔赫斯;弗兰克·乌利格 C.Transl的数值算法。来自德国的玛丽亚·肖恩(Maria Schon a。Frank Uhlig)。包括1张CD-ROM。 (英语) Zbl 0857.65003号 柏林:斯普林格。xxii,596页(1996年)。 审核人:M.Vuorinen(赫尔辛基) MSC公司:65-01年 65年xx月 65-02 65华氏度 65Dxx日 65赫兹 65磅 PDF格式BibTeX公司 XML格式引用 \textit{G.Engeln-Mullges}和\textit{F.Uhlig},C.Transl的数值算法。来自德国的玛丽亚·肖恩(Maria Schon a。Frank Uhlig)。包括1张CD-ROM。柏林:施普林格(1996;Zbl 0857.6503)
F.内格尔。;J.托曼。 线性常微分方程形式幂级数解的多重求和算法应用于斯托克斯现象。 (英语) 兹比尔0857.34015 Braaksma,B.L.J.(编辑)等人,《斯托克斯现象和希尔伯特的第16个问题》。研讨会论文集,荷兰格罗宁根,1995年5月31日至6月3日。新加坡:世界科学。197-213年(1996年)。MSC公司:34米40 40立方厘米 68瓦30 30B10号机组 34A25型 34A30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Naegele}和\textit{J.Thomann},摘自:斯托克斯现象和希尔伯特的第16个问题。研讨会记录,荷兰格罗宁根,1995年5月31日至6月3日。新加坡:世界科学。197-213(1996;Zbl 0857.34015)
詹姆斯·斯塔福德。 轮廓可能性的稳健调整。 (英语) Zbl 0905.62027号 Ann.统计。 24,第1期,336-352(1996).MSC公司:62层35 2012年12月62日 62F05型 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Stafford},Ann.Stat.24,No.1,336--352(1996;Zbl 0905.62027) 全文: 内政部
加里·哈赫特尔(Gary D.Hachtel)。;法比奥·萨蒙齐 逻辑综合和验证算法。 (英语) Zbl 0861.94035号 多德雷赫特:Kluwer学术出版社。xxxi,564页(1996年)。 审核人:H.Schmeck(卡尔斯鲁厄) MSC公司:94立方厘米10 94-01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{G.D.Hachtel}和\textit{F.Somenzi},逻辑综合和验证算法。多德雷赫特:Kluwer学术出版社(1996;Zbl 0861.94035)
Gerhard X·里特。;约瑟夫·威尔逊(Joseph N.Wilson)。 图像代数中的计算机视觉算法手册。 (英语) Zbl 0855.68105号 佛罗里达州博卡拉顿:CRC出版社。xxii,360页(1996年)。 审核人:S.硬度(林茨) MSC公司:68单位05 68-01 PDF格式BibTeX公司 XML格式引用 \textit{G.X.Ritter}和\textit{J.N.Wilson},图像代数中的计算机视觉算法手册。佛罗里达州博卡拉顿:CRC出版社(1996年;Zbl 0855.68105)
库宁厄姆·格林,R.A。;林毅勋 加权有向图的最大循环平均数。 (英语) Zbl 0854.68076号 申请。数学。,序列号。B(英语版) 11,第2期,225-234(1996).MSC公司:68兰特 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Cuninghame-Green}和\textit{Y.Lin},应用。数学。,序列号。B(英语版)11,第2期,225--234(1996;Zbl 0854.68076) 全文: 内政部
亚历山大·索伊奎因(Alexander M.Soiguine)。 复合共轭-相对于什么? (英语) Zbl 0856.15029号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。285-294 (1996). 审核人:B.Fauser(图宾根) MSC公司:15A66型 15-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Soiguine},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。285--294(1996年;Zbl 0856.15029)
戈麦斯,A。;Aragón,J.L。;O.卡巴列罗。;F·达维拉。 Clifford代数在结晶学中的应用({mathcal Mathematica})。 (英语) Zbl 0862.15021号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。251-266 (1996). 审核人:B.Fauser(图宾根) MSC公司:15A66型 82D25个 15-04 15A90型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Gómez}等人,in:具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。251-266(1996年;兹bl 0862.15021)
加雷特·索布奇克 MATHEMATICA的单足代数包。 (英语) Zbl 0853.15028号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。189-199 (1996).MSC公司:15A66型 68瓦30 15-04 PDF格式BibTeX公司 XML格式引用 \textit{G.Sobczyk},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。189-199(1996年;Zbl 0853.15028)
阿布·阿莫维奇,拉法;佩蒂·路易斯托 关于具有反对称部分的双线性形式的Clifford代数。 (英语) Zbl 0856.15028号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。167-188 (1996). 审核人:B.Fauser(图宾根) MSC公司:15A66型 15-04 15A75号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Abłamowicz}和\textit{P.Lounesto},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。167-188(1996年;Zbl 0856.15028)
佛朗哥广场 旋量计算中的计算机代数。 (英语) Zbl 0853.15027号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。145-154 (1996).MSC公司:15A66型 15A90型 15-04 81兰特25 PDF格式BibTeX公司 XML格式引用 \textit{F.Piazzese},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。145-154(1996年;Zbl 0853.15027)
伯恩德·施梅卡尔 时空的生成过程和强相互作用的方向量子数。 (英语) 兹比尔0858.15018 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。83-100(1996年)。 审核人:W.A.Rodrigues(坎皮纳斯) MSC公司:15A66型 20G45型 68瓦30 15A90型 53亿B50 81兰特25 PDF格式BibTeX公司 XML格式引用 \textit{B.Schmeikal},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。83-100(1996年;Zbl 0858.15018)
贾米·朱·瓦兹(Jayme jun Vaz)。 在数学物理教学中使用计算机代数和克利福德代数。 (英语) Zbl 0853.15024号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。33-55 (1996).MSC公司:15A66型 15-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Vaz-jun.},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。33——55(1996年;Zbl 0853.15024)
佩蒂·路易斯托 Clifford代数中的CLICAL反例。 (英语) Zbl 0853.15023号 Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。3-30 (1996).MSC公司:15A66型 15A75号 15-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Lounesto},in:带数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。3-30(1996年;Zbl 0853.15023)
劳埃德,N.G。;皮尔逊,J.M。;塞兹,E。;我·Sántó。 三次Kolmogorov系统的极限环。 (英语) Zbl 0858.34023号 申请。数学。莱特。 9,第1期,15-18页(1996年). 审核人:陈兰孙(北京) MSC公司:34二氧化碳 92D25型 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{N.G.Lloyd}等人,应用。数学。莱特。9,第1号,15--18(1996;Zbl 0858.34023) 全文: 内政部
彼得·马斯格雷夫;凯尔湖 使用计算机代数的广义相对论中的连接和薄壳。一: 达莫-以色列形式主义。 (英语) Zbl 0857.53068号 经典量子引力 1885-1899年第7期第13页(1996年).MSC公司:53Z05个 第83页至第04页 83 C55 83-08 74K15型 PDF格式BibTeX公司 XML格式引用 \textit{P.Musgrave}和\textit{K.Lake},经典量子引力13,第7期,1885-1899(1996;Zbl 0857.53068) 全文: 内政部 arXiv公司
Gilles Dowek(编辑);海林,简(编辑);卡尔·梅恩克(编辑);伯恩哈德·莫勒(编辑) 高阶代数、逻辑和术语重写。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。 (英语) Zbl 0851.00044号 计算机科学课堂讲稿1074.柏林:施普林格出版社(ISBN 3-540-61254-8/pbk)。第287页。(1996).MSC公司:00B25型 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}(ed.)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:施普林格(1996;Zbl 0851.00044) 全文: 内政部
威廉·麦库恩;帕德马纳班,R。 方程式逻辑和三次曲线的自动推导。 (英语) Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,第231页,54.00德国马克;öS 394.20;法语。48.00 (1996).MSC公司:03B35型 第68页第15页 03-02 68-02 03C05号机组 08-04 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan},等式逻辑和三次曲线的自动演绎。柏林:Springer-Verlag(1996;Zbl 0921.03011) 全文: 内政部
佐佐、通武 OR-AND-OR三级网络。 (英语) Zbl 0847.94021号 Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。293-310 (1996).MSC公司:94立方厘米10 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Sasao},in:离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。293--310(1996;Zbl 0847.94021)
佐佐、通武;藤原裕久 使用多终端EXOR TDD精确最小化FPRM。 (英语) Zbl 0847.94019号 Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。191-210 (1996).MSC公司:94立方厘米10 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Sasao}和\textit{F.Izuhara},in:离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。191-210(1996;Zbl 0847.94019)
新池敏人 离散函数的基于图形的表示。 (英语) Zbl 0847.94018号 Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。1-28 (1996).MSC公司:94立方厘米10 94-02 68兰特 03B35型 68瓦35 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.-i.Minato},in:离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。1--28(1996;Zbl 0847.94018)
弗兰兹·巴德;沃纳·纳特 交换/单模态理论的组合问题或代数如何帮助实现等式统一。 (英语) 兹比尔0853.03008 申请。代数工程通讯。计算。 7,第4期,309-337(1996).MSC公司:03C05号机组 08A70号 18E05型 2016年60月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{W.Nutt},应用。代数工程通讯。计算。7,第4号,309--337(1996;Zbl 0853.03008) 全文: 内政部
桑吉夫·阿罗拉;F.T.莱顿。;布鲁斯·麦格斯(Bruce M.Maggs)。 非阻塞网络中路径选择的在线算法。 (英语) Zbl 0852.68004号 SIAM J.计算。 25,第3期,600-625(1996).MSC公司:68M10个 68宽15 90B18号机组 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{S.Arora}等人,SIAM J.Compute。25,第3号,600--625(1996;Zbl 0852.68004) 全文: 内政部
迈克尔·奥·艾伯特森。;凯伦·柯林斯。 图中的对称破缺。 (英语) Zbl 0851.05088号 电子。J.库姆。 3,第1号,研究论文R18,17页(1996); 印刷版J.Comb。3,第1期,259-275(1996年)。MSC公司:05C78号 05C25号 20对25 68兰特 20F99型 PDF格式BibTeX公司 XML格式 全文: 欧洲DML EMIS公司
Ivan P.Gavrilyuk。;弗拉基米尔·马卡罗夫。 希尔伯特空间中一类演化问题的显式解和近似解。 (英语) 兹比尔0853.65056 数字。功能。分析。优化 17,No.1-2,65-75(1996). 审核人:W.H.施密特(格雷夫斯瓦尔德) MSC公司:65J15年 3420国集团 35年2月20日 68瓦30 47J25型 47时20分 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gavrilyuk}和\textit{V.L.Makarov},数字。功能。分析。最佳方案。17,编号1--2,65-75(1996;Zbl 0853.65056) 全文: 内政部 链接
Jean-Louis Boimond;Jean-Louis费里尔 内部模型控制和最大代数:控制器设计。 (英语) Zbl 0846.93056号 IEEE传输。自动化。控制 41,第3期,457-461(1996).MSC公司:93立方 68问题85 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Boimond}和\textit{J./L.Ferrier},IEEE Trans。自动化。控制41,No.3,457--461(1996;Zbl 0846.93056) 全文: 内政部 链接
马丁·拉斯林 导出了一类面向层的图算法。 (英语) Zbl 0853.68142号 科学。计算。程序。 26,编号1-3,117-132(1996).MSC公司:68兰特 68宽10 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Russling},科学。计算。程序。26,编号1--3,117-132(1996;Zbl 0853.68142) 全文: 内政部
理查德·哈金斯 分叉自回归模型中测量误差的可辨识性。 (英语) Zbl 0885.62085号 统计概率。莱特。 27,第1期,17-23(1996).MSC公司:62日元99 62M10个 62页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Huggins},统计概率。莱特。27,编号1,17-23(1996年;Zbl 0885.62085) 全文: 内政部
Ramabhadra Sarma伊瓦图里;科特斯瓦拉·拉奥·普拉古拉 关于不相交替代代数。 (英语) Zbl 0857.08004号 东南亚牛市。数学。 20,No.2,29-40(1996). 审核人:A.A.Mullin(亨茨维尔) MSC公司:08A70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Ivatury}和\textit{K.R.Pullagura},东南亚公牛。数学。20,第2号,29--40(1996;Zbl 0857.08004)
丁浩江;梁健;王云 横观各向同性弹性层的点力解。 (英语) Zbl 0848.73011号 申请。数学。机械。,英语。预计起飞时间。 17,第4期,309-318(1996).MSC公司:74B05型 74E10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ding}等人,应用。数学。机械。,英语。第17版,第4号,309--318(1996;Zbl 0848.73011) 全文: 内政部
彼得斯,M.G。 单轨握手电路。 (英语) Zbl 0849.94029号 埃因霍温:TU.vi,186页(1996)。 审核人:E.Ciurea(布拉什科夫) MSC公司:94立方厘米10 68瓦35 94-02 68单位07 94C12年 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peeters},单轨握手电路。埃因霍温:TU(1996;Zbl 0849.94029)
兹比格涅夫·斯塔奇尼亚克 防分辨率系统。代数理论。 (英语) Zbl 0849.03010号 自动化推理系列. 4. 多德雷赫特:Kluwer学术出版社。xvi,206页Dfl。180.00; $ 120.00; £80.00 (1996). 审核人:N.Zamov(喀山) MSC公司:03B35型 第68页第15页 03-02 68-02 03G25 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Stachniak},分辨率证明系统。代数理论。多德雷赫特:Kluwer学术出版社(1996;Zbl 0849.03010)
比塔·科尼科夫斯卡 麦卡锡代数:麦卡锡逻辑演算的模型。 (英语) Zbl 0847.03030号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 26,第2期,167-203(1996).MSC公司:03G25 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska},安.社会数学。政策。,序列号。四、 芬丹。Inf.26,No.2,167--203(1996;Zbl 0847.03030)
梅诺夫·盖克;格哈德·希斯;弗兰克·吕贝克;冈特·马勒;格茨·普菲弗 CHEVIE–计算和处理通用字符表的系统。 (英语) Zbl 0847.20006号 申请。代数工程通讯。计算。 7,第3期,175-210(1996). 审核人:P.Fleischmann(埃森) MSC公司:20立方厘米 20立方 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Geck}等人,应用。代数工程通讯。计算。7,第3号,175--210(1996;Zbl 0847.20006) 全文: 内政部
格德·鲍曼 理论物理中的数学。从经典力学到分形的精选例子。(包括磁盘)。翻译。以及德国原版的更新版本。1993 (英语) Zbl 0856.65134号 纽约,纽约:TELOS,施普林格出版社,第348页(1996年)。 审核人:M.普鲁姆(卡尔斯鲁厄) MSC公司:65Z05个 00A79号 35季度xx 83-08 28A80型 68瓦30 70-08 7.8亿 81-08 65日元 65-01年 65D20个 PDF格式BibTeX公司 XML格式引用 \textit{G.Baumann},《理论物理中的数学》。从经典力学到分形的精选例子。(包括磁盘)。翻译。和德国原版的更新版本。1993年,纽约州纽约市:TELOS,Springer-Verlag印记(1996;Zbl 0856.65134)
弗兰茨·温克勒 计算机代数中的多项式算法。 (英语) Zbl 0853.12003号 符号计算中的文本和专著。维恩:施普林格。viii,第272页(1996年)。 审核人:J.Desel(卡尔斯鲁厄) MSC公司:2005年12月 68瓦30 68年 68-01 12-01 第13页第10页 2005年第14季度 2016年11月 PDF格式BibTeX公司 XML格式引用 \textit{F.Winkler},计算机代数中的多项式算法。维恩:施普林格(1996;Zbl 0853.12003) 全文: 内政部
汉斯·本克 数学与MATHCAD。学生和工程师的工作手册。(Mathematik mit MATHCAD,Arbeitsbuch für Studenten und Ingenieure) (德语) Zbl 0841.68066号 柏林:Springer-Verlag。xiii,第370页(1996年)。MSC公司:68瓦30 65-01年 00A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Benker},Mathematik mit MATHCAD。Arbeitsbuch für Studenten und Ingenieure研究所。柏林:施普林格出版社(1996;Zbl 0841.68066)
雷纳特·莫策尔 从泛代数的角度来看具有不确定性的代数规范。(代数Spezifikationen mit Nichdeterminismus aus der Sicht der universellen代数) (德语) 兹比尔0865.08003 Berichte aus der Informatik公司亚琛:震撼的维拉格。vii,217 S.(慕尼黑大学,1995年)(1996年)。 审核人:B.Wojdyło(托伦) MSC公司:08A70号 第68季度第65季度 08C05号机组 18立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{R.Motzer},代数Spezifikationen mit Nichtdestentismus aus der Sicht der universellen代数。亚琛:Shaker Verlag(1996;Zbl 0865.08003)
马丁·拉斯林 导出各类图算法的通用方案。 (英语) Zbl 0855.68001号 奥格斯堡大学,92页(1996)。 审核人:B.泽林卡(利伯雷语) MSC公司:68-02 05C38号 05C45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Russling},导出图形算法类的通用方案。奥格斯堡大学(1996;Zbl 0855.68001)
卡塞尔斯,J.W.S。;弗林,E.V。 属2曲线的中庸算法的序言。 (英语) Zbl 0857.14018号 伦敦数学学会讲座笔记系列. 230. 剑桥:剑桥大学出版社。xiv,218页(1996年)。 审核人:Noriko Yui(金斯顿/安大略省) MSC公司:14小时45分 11G30型 14小时40分 11-02 14-02 14H25号 14G05年 14G40型 2005年第14季度 11年50 PDF格式BibTeX公司 XML格式引用 \textit{J.W.S.Cassels}和\textit{E.V.Flynn},Prolegomena到亏格2的曲线的一个中等算术。剑桥:剑桥大学出版社(1996;Zbl 0857.14018)
布兰科,哈维尔·奥斯卡 进程代数中的状态运算符。 (英语) Zbl 0844.68065号 埃因霍温:TU,138 p.(1996)。 审核人:J.Desel(卡尔斯鲁厄) MSC公司:68瓦30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.O.Blanco},进程代数中的状态运算符。埃因霍温:TU(1996;Zbl 0844.68065)
法国Chaitin-Chatelin;瓦莱里·弗雷斯 有限精度计算讲座。 (英语) Zbl 0846.65020号 软件-环境-工具, 1. 宾夕法尼亚州费城:SIAM,工业和应用数学学会。xiv,235页(1996年)。 审核人:P.Y.Yalamov(Russe) MSC公司:65克50 65华氏度 65-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Chaitin-Chatelin}和\textit{V.Frayssé},有限精度计算讲座。宾夕法尼亚州费城:SIAM(1996;Zbl 0846.65020) 全文: 内政部
尤金·菲姆 科学计算。 (德语) Zbl 0853.68113号 海德堡:dpunkt-Verlag für数字技术。十六、364页(1996年)。 审核人:W.甘德(苏黎世) MSC公司:68瓦30 68-01 65D05型 65天30分 65二氧化碳 65-01年 65D07年 65天32分 65T40型 65B10型 65小时05 PDF格式BibTeX公司 XML格式引用 \textit{E.Fiume},科学计算。海德堡:dpunkt-Verlag für数字技术(1996;Zbl 0853.68113)
罗宾·米尔纳 用于交互的微积分。 (英语) Zbl 0853.68123号 学报信息。 33,编号8,707-737(1996). 审核人:R.米尔纳(剑桥) MSC公司:68问题55 2010年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式 全文: 内政部
温弗里德·卡尔·格拉斯曼;詹·鲍尔·特伦布雷 逻辑和离散数学。计算机科学的观点。 (英语) Zbl 0848.68003号 新泽西州上马鞍河:普伦蒂斯·霍尔。十八、750页(1996年)。 审核人:C.Meinel(特里尔) MSC公司:68-01 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{W.K.Grassmann}和\textit{J.-P.Tremblay},逻辑和离散数学。计算机科学的观点。新泽西州上鞍河:普伦蒂斯·霍尔(1996;Zbl 0848.68003)
安德烈亚斯·哈特维格 代数三维建模。 (英语) Zbl 0870.68160号 马萨诸塞州韦尔斯利:A K Peters。x、 222页(1996年)。 审核人:Z.Shen(普利茅斯/新罕布什尔州) MSC公司:68岁20岁 68-01 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Hartwig},代数三维建模。马萨诸塞州韦尔斯利:A K Peters(1996;Zbl 0870.68160)
苏珊娜·多纳泰利;朱利安娜·弗朗西斯科尼斯 PSR方法:集成硬件和软件模型。 (英语) Zbl 1418.68007号 Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 133-152 (1996).MSC公司:2007年7月68日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Donatelli}和\textit{G.Franceschinis},莱克特。注释计算。科学。1091、133--152(1996年;Zbl 1418.68007) 全文: 内政部
吉尔·巴特;马克·鲁伊斯;亨克·巴伦德雷格特 精益校对的两级方法。 (英语) Zbl 1407.68431号 Berardi,Stefano(编辑)等人,《证明和程序的类型》。1995年6月5日至8日,意大利都灵,国际研讨会TYPES’95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1158, 16-35 (1996).MSC公司:第68页第15页 03B35型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,Lect。注释计算。科学。1158、16-35(1996年;Zbl 1407.68431) 全文: 内政部 链接
斯格尔斯,L.J。 具有超限类型的高阶代数。 (英语) 兹比尔1407.68093 Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 238-263 (1996).MSC公司:68甲18 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Steggles},莱克特。注释计算。科学。1074、238--263(1996年;Zbl 1407.68093) 全文: 内政部
Hintermeier,克劳斯;Hélène基什内尔;彼得·莫塞斯(Peter D.Mosses)。 \(R^n)和(G^n)逻辑。 (英语) Zbl 1434.03083号 Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 90-108 (1996).MSC公司:03B70号 03B16号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Hintermeier}等人,Lect。注释计算。科学。1074、90-108(1996年;Zbl 1434.03083) 全文: 内政部
A.埃伦菲赫特。;T·哈尔朱。;G.罗森伯格。 基于组的图转换和图的层次表示。 (英语) Zbl 1412.68104号 Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 502-520 (1996).MSC公司:2012年第68季度 05C20号 05C25号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,Lect。注释计算。科学。1073502--520(1996年;Zbl 1412.68104) 全文: 内政部
斯特凡·阿恩伯格;安德烈·普洛斯科洛夫斯基 一种识别有界树宽图的技术,并应用于部分2-路的子类。 (英语) Zbl 1412.68161号 Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 469-486 (1996).MSC公司:68兰特 05C25号 05C75号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Arnborg}和\textit{A.Proskurowski},莱克特。注释计算。科学。1073469-486(1996年;兹bl 1412.68161) 全文: 内政部
法兰克·德雷维斯 使用树转换器来计算图代数之间的平移。 (英语) Zbl 1412.68126号 Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 196-210 (1996).MSC公司:第68季度第45季度 05C65号 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes},莱克特。注释计算。科学。1073196-210(1996年;Zbl 1412.68126) 全文: 内政部
R·阿尔伯里奇。;伯梅斯特,P。;罗塞洛,F。;瓦伦特,G。;沃迪·奥(Wojdyło,B.)。 图变换的部分代数方法。 (英语) Zbl 1412.68095号 Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 1-15 (1996).MSC公司:2012年第68季度 08A55号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alberich}等人,Lect。注释计算。科学。1073,1-15(1996;Zbl 1412.68095) 全文: 内政部