Nisheva-Pavlova,Maria M。 智能计算机代数系统STRAMS中的知识表示和问题求解。 (英语) Zbl 1079.68626号 上帝。索菲吉。法国大学。材料通知。 91(1997),第2期,193-202(1999).MSC公司:68立方英尺 68层35 68T20型 68瓦30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Nisheva-Pavlova},上帝。沙发。法国大学。材料通知。91,第2号,193--202(1999;Zbl 1079.68626)
比科夫,V.I。;基特马诺夫,A.M。;奥斯特罗娃,T.A。 非线性代数方程组的实根数。 (俄语) Zbl 1029.65051号 Bykov,V.I.(编辑),《数学方法与模拟》。克拉斯诺亚尔斯克:克拉斯诺亚尔斯基大学。维斯特。克拉斯诺亚尔斯克。戈斯。泰克。大学16,50-53(1999)。MSC公司:65H10型 68瓦30 2005年12月 26立方厘米 30立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Bykov}等人,Vestn。克拉斯诺亚尔斯克。戈斯。泰克。大学16,50-53(1999;Zbl 1029.65051)
Bonsangue,Marcelo M。;Joost N.角。 走向领域的无限逻辑:过渡系统的Abramsky逻辑。 (英语) Zbl 1004.03030号 Inf.计算。 155,第1-2号,170-201(1999).MSC公司:03B70号 68问题55 60年第68季度 06B35号 03G10年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsange}和\textit{J.N.Kok},Inf.Compute。155,编号1--2,170--201(1999;Zbl 1004.03030) 全文: 内政部 链接
伊藤、马萨米(编辑) 语言、代数和计算机系统。1999年3月8日至10日在日本京都京都大学数学科学研究所举行的研讨会记录。 (英语、日语) Zbl 0970.68003号 RIMS Kokyuroku公司 1106236页(1999年).MSC公司:68-06 00B25型 11B85号 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}(编辑),RIMS Kokyuroku 1106,236 ~ p.(1999;Zbl 0970.68003)
伊万诺夫·D·E。;Y.A.斯科特索夫。 基于遗传算法的数字电路测试生成。 (俄语) Zbl 0966.68019号 事务处理仪表价格。材料Mekh。 4, 82-88 (1999). 审核人:弗拉基米尔·斯科贝列夫(顿涅茨克) MSC公司:68米15 2010年第68季度 68T05型 68T20型 94立方厘米10 94C12年 68单位07 68岁20岁 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Ivanov}和\textit{Y.A.Skottsov},Tr.Inst.Prikl。马特·梅赫。4、82-88(1999年;Zbl 0966.68019)
弗里德·斯托尔森堡 通过强大的模型生成在超平台中进行循环检测。 (英语) Zbl 0961.68119号 加州大学洛杉矶分校 5,第3期,135-155(1999).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Stolzenburg},J.UCS 5,No.3,135--155(1999;Zbl 0961.68119) 全文: 链接
北卡罗来纳州加里尼纳。;Khegaj,Zh。E.公司。 FABULA系统中布尔代数问题公式转换的实现工具。 (俄语。英文摘要) Zbl 0951.68052号 Kas'yanov,V.N.(编辑),《信息系统和编程问题》。新西伯利亚:信息研究所。A.P.Ershova SO RAN,202-215(1999)。 审核人:M.F.穆尔济纳(新西伯利亚) MSC公司:2012年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Kalinina}和\textit{Zh.E.Khegaj},in:Problemy sistem informatiki i programmirovaniya。新西伯利亚:信息研究所。A.P.Ershova SO RAN.202--215(1999;Zbl 0951.68052)
鲍里斯·普洛金一世。 代数逻辑,代数的变种和代数变种。 (英语) Zbl 0961.08001号 Kublanovsky,S.(ed.)等人,具有应用的半群,包括半群环。1995年6月19日至30日,俄罗斯圣彼得堡,为纪念E.S.Lyapin而举行的国际会议。圣彼得堡:Severny Ochag,189-270(1999)。MSC公司:08-02 08Bxx年 03Gxx公司 08A70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{B.I.Plotkin},in:具有应用的半群,包括半群环。1995年6月19日至30日,俄罗斯圣彼得堡,为纪念E.S.Lyapin举行的国际会议。圣彼得堡:Severny Ochag。189-270(1999年;Zbl 0961.08001) 全文: arXiv公司
艾丽卡·梅利斯;索尔奇,沃尔克 在证据规划中使用外部推理器。 (英语) Zbl 0958.68152号 阿曼多、亚历山德罗(编辑)等,Calculemus 99。综合计算和扣除系统,意大利特伦托,1999年7月11日至12日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。23,311页,仅电子版(1999年)。MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Melis}和\textit{V.Sorge},收录于:微积分99。《综合计算和扣除系统》,意大利特伦托,1999年7月11-12日。阿姆斯特丹:爱思唯尔。第11页(1999年;Zbl 0958.68152)
科尔舍夫尼科夫,康斯坦丁五世。;尼古拉·瓦西里耶夫。 关于两个开普勒椭圆轨道之间的距离函数。 (英语) Zbl 0968.70005号 最神圣的。机械。动态。阿童木。 75,第2号,75-83(1999).MSC公司:70-08 2015年1月70日 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Kholshevnikov}和\textit{N.N.Vassilliev},Celest。机械。动态。阿童木。75,第2号,75--83(1999;Zbl 0968.70005) 全文: 内政部
谢尔曼(Gerik Scheuermann) 基于Clifford代数的拓扑向量场可视化。 (英语) Zbl 0946.65133号 凯泽斯劳滕:凯泽斯劳滕大学,Fachbereich Informatik,178页(1999)。MSC公司:65便士99 65D18天 68单位05 15A66型 37立方厘米15 2005年3月37日 PDF格式BibTeX公司 XML格式引用 \textit{G.Scheuermann},Clifford代数拓扑向量场可视化。凯泽斯劳滕:凯泽斯劳滕大学,Fachbereich Informatik(1999;Zbl 0946.65133)
斯蒂芬·安德里利;大卫·赫克 初等线性代数。第2版。 (英语) Zbl 0963.15001号 加州圣地亚哥:学术出版社。xvii,602页(1999年)。 审核人:J.D.Dixon(渥太华) MSC公司:15-01 15A04号 2006年10月15日 15甲15 第15页第18页 15A63型 65平方英尺 15A03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Andrilli}和\textit{D.Hecker},初等线性代数。第二版,加州圣地亚哥:学术出版社(1999;Zbl 0963.15001)
沃尔夫拉姆·科普夫 正交多项式和计算机代数。 (英语) Zbl 0955.68131号 Gilbert,Robert P.(编辑)等人,《复分析和计算机代数的最新发展》。在1997年6月2日至7日于德国纽瓦克举行的ISAAC’97大会特别会议上发表的论文。多德雷赫特:Kluwer学术出版社。国际社会分析。申请。计算。4, 205-234 (1999).MSC公司:68瓦30 33立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{W.Koepf},国际社会分析。申请。计算。4205--234(1999年;Zbl 0955.68131)
温尼丘克,I.P。 windows环境下多媒体应用程序合成的算法代数和系统设计。 (英语。俄文原件) Zbl 0953.68506号 赛博。系统。分析。 35,第200-207号(1999年); 翻译自Kibern。修女。分析。1999年,第2期,34-43(1999)。MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Vinnichuk},Cybern。系统。分析。35,第2号,200--207(1999;Zbl 0953.68506);翻译自Kibern。修女。分析。1999年,第2期,34-43(1999) 全文: 内政部
托马斯·马尔瑟达尔·拉斯穆森 有符号间隔逻辑。 (英语) Zbl 0942.03027号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 157-171 (1999).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.拉斯穆森},莱克特。注释计算。科学。1683、157--171(1999;Zbl 0942.03027)
斯特凡诺·卡桑吉安;安娜·拉布拉 观察树作为并发模型。 (英语) 兹比尔0954.68115 数学。结构。计算。科学。 9,第6期,687-718(1999).MSC公司:68问题85 2010年第68季度 18日第10天 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasangian}和\textit{A.Labela},数学。结构。计算。科学。9,第6号,687--718(1999;Zbl 0954.68115) 全文: 内政部
A.V.查什金。 用图灵机模拟组合电路。 (俄语) Zbl 0931.68041号 Diskretn公司。分析。伊斯斯莱德。操作。,序列号。1 6,第3期,42-70(1999). 审核人:E.A.Okol’nishnikova(新西伯利亚) MSC公司:2005年第68季度 94立方厘米10 03日第10天 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chashkin},Diskretn。分析。伊斯斯莱德。操作。,序列号。16,第3号,42--70(1999;Zbl 0931.68041)
伯托利,P.G。;J.卡梅特。;金奇利亚,F。;霍曼,K。 定理证明器和计算机代数系统的规范和集成。 (英语) Zbl 0951.68197号 芬丹。通知。 39,编号1-2,39-57(1999).MSC公司:68瓦30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Bertoli}等人,Fundam。通知。39,编号1--2,39-57(1999;Zbl 0951.68197)
弗兰兹·巴德;托比亚斯·尼普科 术语重写等等。 (英语) Zbl 0948.68098号 剑桥:剑桥大学出版社。xii,301 p.(1999)。 审核人:H.Herre(莱比锡) MSC公司:2012年第68季度 03B35型 08A70号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{T.Nipkow},术语重写等等。剑桥:剑桥大学出版社(1999;Zbl 0948.68098) 全文: 内政部
林国辉;杜定竹;胡晓东;薛国良 关于多速率Clos网络的可重排性。 (英语) 兹比尔0972.94050 SIAM J.计算。 28,第4期,1225-1231(1999).MSC公司:94立方厘米10 90B18号机组 05C90年 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{G.-H.Lin}等人,SIAM J.计算。28,第4号,1225--1231(1999;Zbl 0972.94050) 全文: 内政部
汉斯·哥尔格·罗斯;休伯特·施韦特里克 数值数学。为每个人提供基本知识。(《数值数学》,Das Grundwissen für jedermann著) (德语) Zbl 0990.00002号 Mathematik für Ingenieure und Naturwissenschaftler公司。斯图加特:B.G.Teubner。220 S.(1999)。 审核人:鲁道夫·戈伦弗洛(柏林) MSC公司:00A06号 65-01年 65Dxx日 65磅 65华氏度 65平方米 65赫兹 65年xx月 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Roos}和\textit{H.Schwetlick},数字数学。Das Grundwissen für jedermann。斯图加特:B.G.Teubner(1999;Zbl 0990.0002)
杰拉德·J·张。;黄,Frank K。;Li-Da通 描述位置换网络的特征。 (英语) Zbl 0948.94023号 网络 33,第4期,261-267(1999).MSC公司:94C05(二氧化碳) 94立方厘米10 68M10个 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Chang}等人,Networks 33,No.4,261--267(1999;Zbl 0948.94023) 全文: 内政部
迈克尔·韦斯特。(编辑) 计算机代数系统。实用指南。 (英语) Zbl 0924.68102号 奇切斯特:威利。xvi,436页(1999年)。 审核人:乔瓦尼·塞萨里(苏黎世) MSC公司:68瓦30 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Wester}(编辑),计算机代数系统。实用指南。奇切斯特:威利(1999;Zbl 0924.68102)
沃尔夫拉姆·希夫曼;罗伯特·施密茨 技术计算机科学。第2卷:计算机技术基础。3.吕贝拉尔布。澳大利亚。(Technische Informatik.Bd 2:Grundlagen der Computertechnik.) (德语) 兹比尔0949.68005 斯普林格·勒布赫柏林:施普林格。xv,326 S.(1999)。MSC公司:68个月1日 68-01 2010年第68季度 68N99型 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{W.Schiffmann}和\textit{R.Schmitz},技术信息。Bd 2:计算机技术领域的Grundlagen der Computertechnik。3.吕贝拉尔布。澳大利亚。柏林:施普林格出版社(1999;Zbl 0949.68005)
福勒、温弗里德 解线性微分方程的代数算法。(代数算法zur Lösung von linearen Differentialgleichungen) (德语) Zbl 0918.34001号 MuPAD报告。斯图加特:B.G.Teubner。x、 第142页(1999年)。 审核人:S.Siegmund(奥格斯堡) MSC公司:34A05型 68瓦30 34-04 34A25型 34A30型 PDF格式BibTeX公司 XML格式引用 \textit{W.Fakler},代数算法zur Lösung von linearen Differentialgleichungen。斯图加特:B.G.Teubner(1999;Zbl 0918.34001)