大卫·皮尔斯；瓦格纳，格尔德 用负面信息进行推理。一： 逻辑程序中的强否定。 （英语） Zbl 0746.03020号 《哲学学报》。芬恩。 49, 430-453 (1990). 审核人：G.Mints（斯坦福） MSC公司：03B70号 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.皮尔斯}和\textit{G.瓦格纳}，《哲学学报》。芬恩。49430-453（1990年；Zbl 0746.03020）
医学博士斯皮瓦克。 快乐T型E类X（X）.使用\（AMS\）排版的美食指南-T型E类X（X）宏包。第2版。 （英语） Zbl 0867.68117号 普罗维登斯，RI：美国数学学会（AMS）。第309页（1990年）。MSC公司：68单位15 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Spivak}，《TeX的乐趣》。使用\（AMS\）-\TeX\宏软件包进行排版的美食指南。第二版，普罗维登斯，RI:AMS，美国数学学会（1990；Zbl 0867.68117）
道宾，P。 核电厂负荷模式确定的一种基于知识的方法。 （英语） Zbl 0825.68614号 牛市。主任Etud。Rech.公司。，Sér。C类 1990年，第4期，69-77（1990）.MSC公司：68层35 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{P.Dauboin}，公牛。教育总监。Rech.公司。，Sér。C 1990，编号4，69--77（1990；Zbl 0825.68614）
Chorbadjiev，伊利安·P。；约阿希姆·斯坦德 大规模数据处理的子符号归纳学习框架。 （英语） Zbl 0864.68089号 Stender，Joachim（编辑）等人，《符号与神经元！OUG人工智能SIG第二届国际会议论文，IEE伦敦，英国，1990年10月1日。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。9, 84-98 (1990).MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Chorbadjiev}和\textit{J.Stender}，前面。Artif公司。智力。申请。9、84-98（1990年；Zbl 0864.68089）
卢博米尔街斯托伊切夫。；安纳托利·圣安东尼奥夫。 知识处理的关系逻辑和微分逻辑。 （英语） Zbl 0864.68099号 Stender，Joachim（编辑）等人，《符号与神经元！OUG人工智能SIG第二届国际会议论文，IEE伦敦，英国，1990年10月1日。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。9, 47-66 (1990).MSC公司：68T27型 68层35 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.St.Stoytchev}和\textit{A.St.Antonov}，正面。Artif公司。智力。申请。9、47-66（1990年；Zbl 0864.68099）
T.R.亚的斯亚贝巴。；M.C.诺威尔。 机器知识和结构。 （英语） Zbl 1114.68536号 Stender，Joachim（编辑）等人，《符号与神经元！OUG人工智能SIG第二届国际会议论文，英国伦敦IEE，1990年10月1日。阿姆斯特丹：IOS出版社（ISBN 90-5199-039-1）。前面。Artif公司。智力。申请。9, 10-31 (1990).MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.R.Addis}和\textit{M.C.Nowell}，前面。Artif公司。智力。申请。9，10-31（1990年；兹bl 1114.68536）
杰根·菲舍尔·尼尔森 知识库数据库。 （英语） Zbl 0876.68036号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。203-210年7月（1990年）。MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Nilsson}，前面。Artif公司。智力。申请。7203--210（1990年；Zbl 0876.68036）
马克库·萨基宁 在数据库中建模顺序。 （英语） Zbl 0862.68038号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。7, 177-202 (1990).MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Sakkinen}，前面。Artif公司。智力。申请。7、177--202（1990年；Zbl 0862.68038）
田中，Yuzuru 基于知识的系统上词汇的代数定义。 （英语） Zbl 0863.68109号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。7, 161-176 (1990).MSC公司：68层35 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tanaka}，前面。Artif公司。智力。申请。7161--176（1990年；Zbl 0863.68109）
濑户有川；武士县信原；山本明弘 通过初等形式系统对形式语言进行归纳推理。 （英语） Zbl 0862.68069号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。7, 148-160 (1990).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Arikawa}等人，前面。Artif公司。智力。申请。7148-160（1990年；Zbl 0862.68069）
直纪延崎 层次时序推理逻辑。 （英语） Zbl 0875.68789号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。7, 136-147 (1990).MSC公司：68T27型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Yonezaki}，前面。Artif公司。智力。申请。7136-147（1990年；Zbl 0875.68789）
Isamu小林 元组演算：语法和语义。 （英语） Zbl 0862.68037号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。7, 109-135 (1990).MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit｛I.Kobayashi｝，正面。Artif公司。智力。申请。7、109--135（1990年；Zbl 0862.68037）
Isamu小林 关系数据库模型中的两个误导性范例。 （英语） Zbl 0862.68036号 Kangassalo，Hannu（编辑）等人，《信息建模和知识库》。阿姆斯特丹等：IOS出版社。前面。Artif公司。智力。申请。7, 92-108 (1990).MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{I.小林}，前面。Artif公司。智力。申请。792--108（1990年；Zbl 0862.68036）
塞格尔，J。；D.博尔曼。；塞利斯，V。 一种高效的位覆盖并行算法。 （英语） Zbl 0861.68038号 恭喜。数字 79, 244-250 (1990).MSC公司：68宽15 PDF格式BibTeX公司 XML格式引用 \textit{J.Seguel}等人，Congr。数字79，244--250（1990；Zbl 0861.68038）
Leis，Ernst L。 分布式负载平衡中的组合问题。 （英语） Zbl 0861.68007号 恭喜。数字 79, 173-181 (1990).MSC公司：68平方米 68M99型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Leiss}，国会议员。Numerantium 79，173--181（1990；Zbl 0861.68007）
大卫·R·麦金太尔。 平面图对偶的构造。 （英语） 兹比尔0862.05034 恭喜。数字 79, 5-18 (1990).MSC公司：05年10月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.R.McIntyre}，国会议员。数字79，5--18（1990；Zbl 0862.05034）
塔马斯·伦盖尔 一些图问题和图度量的可实现性。 （英语） Zbl 0862.05038号 恭喜。数字 78, 245-254 (1990).MSC公司：05C12号 05二氧化碳 68兰特 05C45号 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{T.Lengyel}，国会议员。数字78，245--254（1990；Zbl 0862.05038）
Deogun，Jitender S.公司。；Man C.孔。；潘丽露 广义移动调度问题的计算复杂性。 （英语） Zbl 0861.68043号 恭喜。数字 78, 231-244 (1990).MSC公司：65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Deogun}等人，国会。数字78，231--244（1990；Zbl 0861.68043）
劳伦斯五世·萨克斯顿。；纳林·威杰辛格 一种快速泛化近似字符串匹配算法。 （英语） Zbl 0863.68056号 恭喜。数字 78, 199-206 (1990).MSC公司：68页第10页 90 C90 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Saxton}和\textit{N.Wijesinghe}，国会议员。数字78199--206（1990年；兹bl 0863.68056）
乔治·斯坦纳 关于有序集的约束深度第一线性扩张的计数。 （英语） Zbl 0861.68031号 恭喜。数字 78, 167-173 (1990).MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Steiner}，国会议员。数字78，167--173（1990；Zbl 0861.68031）
阿杰·古普塔。；阿尔弗雷德·鲍尔斯。；纳维德·谢瓦尼（Naveed A.Sherwani）。；Susanne E.Hambrusch。 将大型超立方体嵌入小型超立方体的下界。 （英语） Zbl 0861.68008号 恭喜。数字 78, 141-151 (1990).MSC公司：68M99型 68兰特 05年10月 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Gupta}等人，国会。数字78，141--151（1990；Zbl 0861.68008）
哈基米，S.L。；舒梅切尔，E。；J.温斯坦。 将平面图划分为独立集和森林。 （英语） Zbl 0862.05056号 恭喜。数字 78, 109-118 (1990).MSC公司：05C35号 05年10月 68兰特 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Hakimi}等人，Congr。数字78，109--118（1990；Zbl 0862.05056）
保罗·施密特（Paul J.Schmidt）。；特蕾莎·W·海恩斯。 在图变换中，节点被完全子图替换。 （英语） Zbl 0862.05098号 恭喜。数字 7899-107（1990年）.MSC公司：05C99年 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Schmidt}和\textit{T.W.Haynes}，国会议员。数字78，99--107（1990；Zbl 0862.05098）
皮埃尔·汉森；朱利奥·库普林斯基 有点难以给图表上色。 （英语） Zbl 0862.05043号 恭喜。数字 78, 81-98 (1990).MSC公司：05C15号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Hansen}和\textit{J.Kuplinsky}，国会议员。数字78，81——98（1990年；Zbl 0862.05043）
Ali，Hesham H。；哈桑·法哈特（Hassan A.Farhat）。 VLSI电路测试中独立图和重叠图的表征。 （英语） Zbl 0861.68045号 恭喜。数字 77, 243-254 (1990).MSC公司：68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Ali}和\textit{H.A.Farhat}，国会议员。数字77，243--254（1990；Zbl 0861.68045）
阿德哈尔，古尔·S·。；彭世通 齿状图最大匹配的并行算法。 （英语） Zbl 0861.68064号 恭喜。数字 77, 217-227 (1990).MSC公司：68兰特 第68季度10 05立方厘米70 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Adhar}和\textit{S.Peng}，议员。数字77，217--227（1990；Zbl 0861.68064）
鲍威尔，迈克尔·W。；特蕾莎·W·海恩斯。；琳达·M·劳森。 CARDD（计算机辅助代表性颗粒测定仪和抽屉）。 （英语） Zbl 0861.68103号 恭喜。数字 77, 163-168 (1990).MSC公司：68层35 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Powell}等人，国会。数字77，163--168（1990；Zbl 0861.68103）
亚历克斯·佩林 精确的计算序列。 （英语） Zbl 0861.68050号 恭喜。数字 77135-152（1990年）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pelin}，国会议员。数字77，135--152（1990；Zbl 0861.68050）
Foldes，斯蒂芬 方向凸物体的障碍图和序列可分性。 （英语） Zbl 0875.68892号 恭喜。数字 77, 97-100 (1990).MSC公司：68单位05 52A01型 05C20号 06C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Foldes}，祝贺。数字77，97--100（1990；Zbl 0875.68892）
A.K.杜德尼。 单神经元研究。 （英语） Zbl 0861.68073号 恭喜。数字 77, 77-85 (1990).MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Dewdney}，国会议员。数字77，77-85（1990年；Zbl 0861.68073）
林阳松；郑思清 构造最小高度B树的线性时间算法。 （英语） Zbl 0861.68063号 恭喜。数字 76, 243-254 (1990).MSC公司：68兰特 05二氧化碳 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Y.-T.Lin}和\textit{S.-Q.Zheng}，Congr。数字76，243--254（1990；Zbl 0861.68063）
Laxmi P.盖瓦利。；西蒙恩塔福斯 用水平防护罩覆盖正交多边形。 （英语） Zbl 0864.68110号 恭喜。数字 76, 209-218 (1990).MSC公司：68单位05 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Gewali}和\textit{S.Ntafos}，国会议员。数字76，209--218（1990；Zbl 0864.68110）
罗伊·富勒 通过洗牌交换网络的最小路径。 （英语） Zbl 0861.68062号 恭喜。数字 76, 201-208 (1990).MSC公司：68兰特 05C38号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Fuller}，议员。数字76，201--208（1990；Zbl 0861.68062）
耶霍舒亚·佩尔；阿诺普·K·斯利瓦斯塔瓦。；西努·古普塔 朝向LZW算法的压缩界限。 （英语） 兹比尔0863.68067 恭喜。数字 76, 89-100 (1990).MSC公司：68第20页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Perl}等人，Congr。数字76，89--100（1990；Zbl 0863.68067）
Chandra Gowri Sankaran公司；J.奥帕特尼。 新的带宽减少算法。 （英语） Zbl 0862.05094号 恭喜。数字 76, 77-88 (1990).MSC公司：05C85号 05C78号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.GowriSankaran}和\textit{J.Opatrny}，国会议员。数字76，77--88（1990；Zbl 0862.05094）
Kenneth A.Berman。；Jerome L.保罗。 计算通信网络的广播多重性。 （英语） Zbl 0861.68003号 恭喜。数字 76, 15-19 (1990).MSC公司：68米10 94A05级 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Berman}和\textit{J.L.Paul}，国会议员。数字76，15--19（1990；Zbl 0861.68003）
科兹列夫，V.P。；尤什曼诺夫，S.V。 图形和网络的表示（编码、布局和嵌入）。 （英语。俄文原件） Zbl 0784.05054号 J.索夫。数学。 61，第3期，2152-2194（1992）; 翻译自伊托基·诺基（Itogi Nauki Tekh.）。，序列号。特奥。维罗亚特恩。，材料统计，温度。基伯恩。27, 129-196 (1990).MSC公司：05立方厘米70 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Kozyrev}和\textit{S.V.Yushmanov}，J.Sov。数学。61，编号32152-2194（1990年；Zbl 0784.05054）；翻译自伊托基·诺基（Itogi Nauki Tekh.）。，序列号。特奥。维罗亚特恩。，材料统计，温度。基伯恩。27, 129--196 (1990) 全文： 内政部
诺加·阿龙；保罗·西摩；罗宾·托马斯 非平面图的一个分离定理。 （英语） Zbl 0747.05051号 美国数学杂志。索克。 第3801-808号第3页（1990年）. 审核人：M.Hager（莱昂伯格） MSC公司：05C40号 05年10月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alon}等人，《美国数学杂志》。Soc.3，No.4，801--808（1990；Zbl 0747.05051） 全文： 内政部
阿兰·图赫曼（Allan M.Tuchman）。；迈克尔·W·贝里。 数值算法设计中的矩阵可视化。 （英语） Zbl 0756.65169号 ORSA J.计算。 2，No.1，84-92（1990）. 审核人：H.古根海默（西亨普斯特德） MSC公司：65D18天 68单位05 65层10 2015财年65 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Tuchman}和\textit{M.W.Berry}，ORSA J.Compute。2，编号1，84--92（1990；Zbl 0756.65169） 全文： 内政部 链接
叶正林 一类平面B样条曲线的形状分类。 （中文。英文摘要） Zbl 0855.68117号 纯应用程序。数学。 6，No.1，72-74（1990）.MSC公司：68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}，纯应用程序。数学。6，编号1，72--74（1990；Zbl 0855.68117）
杰洛斯·斯捷潘纽克 程序的近似逻辑。 （英语） Zbl 0755.03013号 牛市。波兰。阿卡德。科学。，技术科学。 38，编号1-12129-138（1990）.MSC公司：03B70号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Stepaniuk}，公牛。波兰。阿卡德。科学。，技术科学。38，编号1--12，129--138（1990；Zbl 0755.03013）
杰洛斯·斯捷潘纽克 初等近似理论。 （英语） Zbl 0762.03015号 牛市。波兰。阿卡德。科学。，技术科学。 38，编号1-12，121-128（1990）.MSC公司：03C13号机组 03B25号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Stepaniuk}，公牛。波兰。阿卡德。科学。，技术科学。38，编号1-12121-128（1990年；Zbl 0762.03015）
迈克尔·哈吉米歇尔；安妮塔·瓦西列夫斯卡 知识表示系统的规则约简。 （英语） Zbl 0752.68078号 牛市。波兰。阿卡德。科学。，技术科学。 38，编号1-12，113-120（1990）.MSC公司：68层35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Hadjimichael}和\textit{A.Wasilewska}，公牛。波兰。阿卡德。科学。，技术科学。38，编号1--12113-120（1990；Zbl 0752.68078）
米罗斯拉夫·诺沃顿；兹吉斯·瓦·帕拉克（Zdzisław Pawlak） 关于超还原。 （英语） Zbl 0791.68042号 牛市。波兰。阿卡德。科学。，技术科学。 38，编号1-12，101-112（1990）.MSC公司：68第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Novotn}和\textit{Z.Pawlak}，公牛。波兰。阿卡德。科学。，技术科学。38，编号1--12，101-112（1990；Zbl 0791.68042）
茨比斯科·科洛里科夫斯基 分布式数据库系统中的多查询优化。 （英语） Zbl 0752.68026号 牛市。波兰。阿卡德。科学。，技术科学。 38，编号1-12，75-87（1990）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Królikowski}，公牛。波兰。阿卡德。科学。，技术科学。38，编号1--12，75-87（1990；Zbl 0752.68026）
陈景亮 关于并行算法的分类。 （中文。英文摘要） Zbl 0850.65389号 数学。数字。罪。 12，No.4，393-406（1990）.MSC公司：第65年 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}，数学。数字。罪。第12期，第4期，393–406页（1990年；Zbl 0850.65389）
小林、靖国 统计数据库设计的数学研究。 （英语） Zbl 0735.68024号 广岛数学。J。 20，No.3，443-476（1990）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kobayashi}，广岛数学。J.20，No.3，443--476（1990；Zbl 0735.68024）
曾金，A.A。 通过认知交互计算机图形获得了Nechaev-Waring问题的一些生动概括。 （英语） Zbl 0753.11047号 数学。计算。建模 13，No.11，27-36（1990）. 审核人：J.S.Joel（凯利） MSC公司：11年35 11第05页 68岁20岁 68单位99 00A71号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Zenkin}，数学。计算。模型13，No.11，27-36（1990；Zbl 0753.11047） 全文： 内政部
曾金，A.A。 从认知交互计算机图形学的角度来看，沃林的问题。 （英语） Zbl 0753.11046号 数学。计算。建模 13，第11号，9-25（1990）. 审核人：J.S.Joel（凯利） MSC公司：11年35 11第05页 68岁20岁 68单位99 00A71号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Zenkin}，数学。计算。模型13，No.11，9-25（1990；Zbl 0753.11046） 全文： 内政部
吉卡祖宫城县 ARMA模型的自适应辨识及模型辨识系统。 （英语） Zbl 0874.93089号 Nagai，Nobuo（编辑），线性电路、系统和信号处理：高级理论和应用。纽约州纽约市：马塞尔·德克尔。选举人。电子工程师。62, 243-280 (1990). 审核人：D.斯坦诺米尔（布库雷什蒂） MSC公司：93E12号机组 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{Y.Miyanaga}，Elector（电子版）。电子工程师。62243-280（1990年；Zbl 0874.93089）
弗里德里克·穆顿 自动分组和负曲率（遵循D.B.A.Epstein）。（自动群和库伯阴性群（d'après d.B.A.Epstein）。） （法语） Zbl 0823.20036号 最小Sémin。塞奥尔。光谱Géom。，Chambéry-Grenoble 8，Anneée 1989-1990，37-52（1990）。MSC公司：65楼20层 20F05型 53立方30 53C20美元 70年第68季度 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
朱列克·齐佐维奇；安德烈·佩尔克；对手，伊凡 宽度为2的平面有序集。 （英语） Zbl 0753.06001号 数学。斯洛伐克语 40，第4号，375-388（1990）.MSC公司：2007年6月 05年10月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Czyzowicz}等人，《数学》。斯洛文尼亚40，No.4，375--388（1990；Zbl 0753.06001） 全文： 欧洲DML
弗拉基米尔·利夫希茨 情境空间中的框架。 （英语） 兹比尔0743.68122 Artif公司。智力。 46，No.3，365-376（1990）. 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：68立方英尺 68T20型 68T27型 03B80号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}，阿蒂夫。智力。46，第3号，365-376（1990；Zbl 0743.68122） 全文： 内政部
萨里特·克劳斯；丹尼尔·莱曼；梅纳赫姆·马吉多 非单调推理、优先模型和累积逻辑。 （英语） Zbl 0782.03012号 Artif公司。智力。 44，No.1-2，167-207（1990）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kraus}等人，Artif。智力。44，编号1--2，167-207（1990；Zbl 0782.03012） 全文： 内政部 arXiv公司
阿尔贝蒂，G。；比塞尼，M。；A.科伦坡。 在LABEN体验中，使用数学工具进行设计应用的一些示例。 （英语） Zbl 0900.00032号 Capasso，V.（编辑）等人，《工业问题的数学方法》。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。285-300 (1990).MSC公司：00A71号 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{G.Alberti}等人，in：工业问题的数学方法。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会论文集。乌得勒支：VSP。285--300（1990年；Zbl 0900.00032）
纳瓦·马姆布雷蒂，F。 轮胎花纹噪声：一种计算机模拟方法。 （英语） Zbl 0900.00034号 Capasso，V.（编辑）等人，《工业问题的数学方法》。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会论文集。乌得勒支：VSP。271-284 (1990).MSC公司：00A71号 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{F.Nava Mambretti}，in：工业问题的数学方法。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。271-284（1990年；兹bl 0900.00034）
A.塞拉。；诺贝拉斯科，G。 用Marc进行有限元建模。应用研究。 （英语） Zbl 0900.00036号 Capasso，V.（编辑）等人，《工业问题的数学方法》。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。249-255 (1990).MSC公司：00A71号 65日元10 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Cella}和\textit{G.Noberasco}，in：工业问题的数学方法。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。249--255（1990年；Zbl 0900.00036）
比斯托尔菲，M。；G·索夫。 化学工程中的模拟程序。环境的选择。 （英语） Zbl 0900.00040 Capasso，V.（编辑）等人，《工业问题的数学方法》。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。245-248 (1990).MSC公司：00A72号 92E99型 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{M.Bistolfi}和\textit{G.Soave}，in：工业问题的数学方法。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。245--248（1990年；Zbl 0900.00040）
Bevilacqua，F。；C·麦科内。 数学是分析、设计和模拟空间系统行为的基本工具。 （英语） Zbl 0900.00037号 Capasso，V.（编辑）等人，《工业问题的数学方法》。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。217-227 (1990).MSC公司：00A71号 68瓦30 00A69号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bevilacqua}和\textit{C.Maccone}，in：工业问题的数学方法。1988年9月3日至5日在意大利巴里Tecnopolis举行的国际研讨会会议记录。乌得勒支：VSP。217--227（1990年；Zbl 0900.00037）
爱德华·奥赫玛·斯基（Edward Ochmaǹski） 关于恒星谜团的笔记。 （英语） Zbl 0744.68080号 牛市。EATCS公司 40, 252-257 (1990).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ochmaǹ滑雪}，公牛。EATCS 40、252--257（1990年；Zbl 0744.68080）
海纳·马尔森；尤尔根邦特洛克 攻击忙碌的海狸5。 （英语） Zbl 0744.68043号 牛市。EATCS公司 40, 247-251 (1990).MSC公司：2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{H.Marxen}和\textit{J.Buntrock}，公牛。EATCS 40，247--251（1990；Zbl 0744.68043）
约翰·麦克唐纳。；斯通，亚瑟 一致构造单子。 （英语） Zbl 0751.18005号 J.纯应用。代数 68，编号1-2，225-242（1990）. 审核人：A.Wiweger（华沙） MSC公司：18二氧化碳 08C05号机组 68问题65 18个C20 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.MacDonald}和\textit{A.Stone}，J.Pure Appl。代数68，No.1--2225--242（1990；Zbl 0751.18005） 全文： 内政部
让·H·盖利尔。；韦恩·斯奈德 使用转换设计统一过程：一项调查。 （英语） Zbl 0744.68112号 牛市。EATCS公司 40, 273-326 (1990).MSC公司：68吨15 68瓦30 68N17号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier}和\textit{W.Snyder}，公牛。EATCS 40，273--326（1990年；Zbl 0744.68112）
安德烈·谢皮埃托夫斯基 空间复杂性的弱模式可用于证明\（[DSPACE（{\l}og{\lneneneep ogn）\）=\（NSPACE（}\l}og{\l}ogn）]（\Rightarrow\）[\（l=NL]\）。 （英语） Zbl 0744.68057号 牛市。EATCS公司 40, 266-269 (1990).MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Szepietowski}，公牛。EATCS 40、266--269（1990年；Zbl 0744.68057）
里奇，加布里埃尔 大多数对字母表上的树的定义都是错误的。 （英语） Zbl 0744.68081号 牛市。EATCS公司 40, 265 (1990).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.里奇}，公牛。EATCS 40265（1990年；兹bl 0746.8081）
盖奥盖·普昂 非中心化并行通信语法系统。 （英语） Zbl 0744.68084号 牛市。EATCS公司 40, 257-264 (1990).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Póun}，公牛。EATCS 40，257--264（1990；Zbl 0744.68084）
沃纳湖 关于DTOL系统的等价问题。 （英语） Zbl 0744.68077号 牛市。EATCS公司 40, 236-246 (1990).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Loch}，公牛。EATCS 40，236--246（1990；Zbl 0744.68077）
马丁·果戈拉 关于SQL到元组演算的转换的注释。 （英语） Zbl 0744.68038号 牛市。EATCS公司 40, 231-236 (1990).MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Gogolla}，公牛。EATCS 40、231--236（1990年；Zbl 0744.68038）
迈克尔·福曼；沃金、格哈德 关于简单多边形的重建。 （英语） Zbl 0744.68130号 牛市。EATCS公司 40, 225-230 (1990).MSC公司：68单位05 68卢比 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Formann}和\textit{G.Wöginger}，公牛。EATCS 40225-230（1990年；兹bl 0746.8130）
克里斯蒂安·乔夫鲁特 构建Boyer-Moore自动机的优化算法。 （英语） Zbl 0744.68067号 牛市。EATCS公司 40, 217-225 (1990).MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}，公牛。EATCS 40、217--225（1990年；Zbl 0744.68067）
Van den Bussche，简 将SQL扩展到面向对象数据库的正式基础。 （英语） Zbl 0744.68040号 牛市。EATCS公司 40, 207-216 (1990).MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Van den Bussche}，公牛。EATCS 40，207--216（1990；Zbl 0744.68040）
罗兰·巴克豪斯；格兰特·马尔科姆 关于诱导同余。 （英语） Zbl 0744.68094号 牛市。EATCS公司 40, 201-206 (1990).MSC公司：68问题65 06B10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{G.Malcolm}，公牛。EATCS 40，201--206（1990；Zbl 0744.68094）
贾科·卡里 飞机上玩的游戏：纸牌和细胞自动机。 （英语） Zbl 0744.68105号 牛市。EATCS公司 195-200年（1990年）.MSC公司：68问题80 PDF格式BibTeX公司 XML格式引用 \textit{J.Kari}，公牛。EATCS 40，195--200（1990；Zbl 0744.68105）
埃里克·艾伦德。；克劳斯·瓦格纳。 计数层次：多项式时间和恒定深度电路。 （英语） Zbl 0744.68052号 牛市。EATCS公司 40, 182-194 (1990).MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Allender}和\textit{K.W.Wagner}，公牛。EATCS 40182-194（1990年；兹bl 0746.8052）
哈特穆特·埃里格；英戈·克莱恩 代数规范语言、环境和工具概述，以及软件系统的代数规范。 （英语） Zbl 0744.68096号 牛市。EATCS公司 40, 172-181 (1990).MSC公司：68问题65 68N99型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{I.Claßen}，公牛。EATCS 40、172--181（1990年；Zbl 0744.68096）
雅克·勒克斯 规范体系（OBSCURE）：一个简短的调查。 （英语） Zbl 0744.68101号 牛市。EATCS公司 40, 169-171 (1990).MSC公司：68问题65 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Loeckx}，公牛。EATCS 40、169--171（1990年；Zbl 0744.68101）
罗宾·惠蒂 在最弱的前提条件下进行的练习。 （英语） Zbl 0757.68078号 牛市。EATCS公司 42, 195-197 (1990).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Whitty}，公牛。EATCS 42，195--197（1990；Zbl 0757.68078）
弗里德里希·乌尔巴内克 Earley算法的简单完备性证明。 （英语） Zbl 0744.68086号 牛市。EATCS公司 42194（1990年）.MSC公司：第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{F.Urbanek}，公牛。EATCS 42194（1990年；Zbl 0744.68086）
管家，伊恩·A。 关于有界度有向图的图可达性问题。 （英语） Zbl 0744.68070号 牛市。EATCS公司 42, 190-193 (1990).MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。EATCS 42、190--193（1990年；Zbl 0744.68070）
罗尔夫·索歇尔·安布罗西乌斯 另一种证明地面分辨率完整性的技术。 （英语） Zbl 0744.68115号 牛市。EATCS公司 42, 187-189 (1990).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Socher-Ambrosius}，公牛。EATCS 42，187--189（1990；Zbl 0744.68115）
阿托·萨洛马；莉拉·桑提安 与几个买家秘密出售机密。 （英语） Zbl 0744.68041号 牛市。EATCS公司 42, 178-186 (1990).MSC公司：第68页第25页 68米10 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa}和\textit{L.Santean}，公牛。EATCS 42、178--186（1990年；Zbl 0744.68041）
安德烈·林加 关于最小顶点覆盖的并行启发式的注记。 （英语） Zbl 0744.68109号 牛市。EATCS公司 42, 174-177 (1990).MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Lingas}，公牛。EATCS 42、174--177（1990年；Zbl 0744.68109）
理查德·张 一个具有矛盾相对化和对角化证明的定理示例。 （英语） Zbl 0744.68054号 牛市。EATCS公司 42, 172-173 (1990).MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chang}，公牛。EATCS 42、172--173（1990年；Zbl 0744.68054）
莉拉·桑提安 并行通信系统。 （英语） Zbl 0745.68070号 牛市。EATCS公司 42, 160-171 (1990). 审核人：G.Paun（布库雷什蒂） MSC公司：2012年第68季度 第68季度10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Santean}，公牛。EATCS 42、160--171（1990年；Zbl 0745.68070）
理查德·张；潘卡吉·罗哈吉 关于唯一可满足性和随机约简。 （英语） Zbl 0744.68053号 牛市。EATCS公司 42, 151-159 (1990).MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chang}和\textit{P.Rohatgi}，公牛。EATCS 42，151--159（1990；Zbl 0744.68053）
尤里·古里维奇 关于经典决策问题。 （英语） Zbl 0770.03004号 牛市。EATCS公司 42, 140-150 (1990). 审核人：J.M.Plotkin（东兰辛） MSC公司：03B25号 03-01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}，公牛。EATCS 42、140--150（1990年；Zbl 0770.03004）
哈特穆特·埃里格；迈克尔·阿尔比布（Michael A.Arbib）。 链接模式和模块规范：提案。 （英语） Zbl 0744.68097号 牛市。EATCS公司 42, 136-139 (1990).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{M.A.Arbib}，公牛。EATCS 42、136--139（1990年；Zbl 0744.68097）
罗瑟尔，M。（编辑） [莫西·伊登；加多夫，G。；博里洛，M。；吉安·卡洛·罗塔；M.弗拉托。；查尔斯·加尔宾；安德烈·里奇内罗维奇；莫里斯·哈雷；莫里斯·格罗斯；泽利格·哈里斯；罗杰·C·林登。；普罗塞西，C。；杰勒德·莱莱门特；克里斯托夫·鲁特瑙尔；阿尔多·德卢卡；皮埃尔·巴鲁坎德；多米尼克·福塔；阿兰·拉斯库克斯；罗伯特·科里；安东尼奥·马基；阿达尔伯特·科伯；何，史；G.X.维诺。；让·伯斯特尔；克里斯蒂安·乔夫鲁特；米歇尔·弗利斯；乔治·汉塞尔；多米尼克·佩林；安东尼奥·雷斯蒂沃；罗森斯蒂尔，P。；西蒙·艾姆雷] 话。杂项提供给M.-P.Schützenberger。（Mots.Mélanges向M.-P.Schützenberger提供服务。） （法语） Zbl 0862.05001号 语言，Raisonnement，Calcul。巴黎：爱马仕出版社。401页（1990年）。MSC公司：05-06 68-06 20-06 2006年14月 00B15号机组 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lothaire}（编辑），莫茨。梅兰格斯提出了M.-P.舒恩伯格。巴黎：爱马仕出版社（1990；Zbl 0862.05001） 全文： 链接
安妮·福雷特 模态逻辑和直觉逻辑代数：决策过程和规范形式。（逻辑模型和直觉主义者：决策程序和形式规范。） （法语。英文摘要） Zbl 0850.03024号 罗克扬科特：国家信息与自动化研究所（INRIA）。xii，163 p.（巴黎大学VII）（1990年）。MSC公司：03B25号 03G25号 03B45号 03B20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Foret}，《逻辑模型与直觉主义：决策过程与规范》。罗克扬科特：国家信息与自动化研究所（INRIA）（1990；Zbl 0850.03024）
吕克·阿尔伯特 多模式匹配、统一和组合查询算法的一些平均案例分析。（对多过滤、统一和要求多重算法的复杂性进行了分析。） （法语） Zbl 0851.68039号 罗克扬科特：国家信息与自动化研究所。xiv，183 p.（巴黎第十一大学，塞斯）（1990年）。MSC公司：65年第68季度 第68页，共15页 68-02 68吨15 68层35 PDF格式BibTeX公司 XML格式引用 \textit｛L.Albert｝，Quelques分析了多过滤、统一和多要求算法的复杂性。罗克扬科特：国家信息与自动化研究所（1990；Zbl 0851.68039）
Dima Yurevitch，格里戈列夫；乔斯·海因茨；玛丽·弗朗索瓦斯·罗伊；巴勃罗·索莱诺；尼古拉·尼古拉耶维奇·沃罗布乔夫。 计算半代数集在单指数时间内的连通分量。（Comptage des composantes connexes d'un ensembly semi lgébrique en temps simplement exponentiel） （法语） 兹伯利0752.14043 C.R.学院。科学。，巴黎，Sér。我 311，No.13，879-882（1990）. 审核人：卡洛斯·安德拉达斯（马德里） MSC公司：第14页 1999年第14季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Y.Grigor’ev}等人，C.R.学院。科学。，巴黎，Sér。I 311，编号13，879--882（1990；Zbl 0752.14043）
马修·金斯伯格。 双参数和模态算子。 （英语） Zbl 0743.03011号 J.日志。计算。 1，No.1，41-69（1990）. 审核人：G.Mints（斯坦福） MSC公司：03B45号 03B70号 03G10年 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Ginsberg}，J.Log。计算。1，编号1，41--69（1990；Zbl 0743.03011） 全文： 内政部 链接
汉斯·约阿希姆·戈尔茨；Herre，Heinrich先生 逻辑编程基础。（Grundlagen der logischen Programmierung。） （德语） Zbl 0834.68008号 Informatik、Kybernetik、Rechentechnik第三十四条。柏林：Akademie-Verlag。319 S.（1990）。MSC公司：68N17号 68-01 68甲15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Goltz}和\textit{H.Herre}，Grundlagen der logischen Programmiereng。柏林：Akademie-Verlag（1990；Zbl 0834.68008）
R.施赖伯。 脉动阵列的双对角化和对称三对角化。 （英语） Zbl 0825.68433号 超大规模集成电路信号处理。 1，第4号，279-285（1990）.MSC公司：68瓦35 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{R.Schreiber}，J.VLSI信号处理。1，No.4，279--285（1990；Zbl 0825.68433） 全文： 内政部
或者鄂尔多斯卡 基于概念分析的验证。 （英语） Zbl 0777.03003号 螺柱日志。 49，第3号，307-320（1990）.MSC公司：03A05号 68层35 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.或łowska}，Stud.Log。49，第3号，307--320（1990；Zbl 0777.03003） 全文： 内政部
马里奥·卡萨特利 分区、有理分区和复杂性表征。 （英语） Zbl 0800.68480号 复杂系统。 4，第5期，491-507（1990）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Casartelli}，复杂系统。第4期，第5期，491-507页（1990年；兹bl 0800.68480）
马丁·格哈特；舒斯特，海克；约翰·泰森。 可激发介质的元胞自动机模型。三： 拟合Belousov-Zhabotinskii反应。 （英语） Zbl 0800.92029 物理D 46，第3期，416-426（1990）.MSC公司：92B05型 92立方厘米 68问题80 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gerhardt｝等人，Physica D 46，编号3，416–426（1990；Zbl 0800.92029） 全文： 内政部
马丁·格哈特；舒斯特，海克；约翰·泰森。 可激发介质的元胞自动机模型。二： 曲率、色散、旋转波和弯曲波。 （英语） Zbl 0800.92028号 物理D 46，No.3，392-415（1990）.MSC公司：92B05型 92立方厘米 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Gerhardt}等人，Physica D 46，No.3，392--415（1990；Zbl 0800.92028） 全文： 内政部
V·查塔尔。；W·库克。 图形的规程编号。 （英语） Zbl 0747.05087号 离散数学。 86，编号1-3，191-198（1990）. 审核人：M.哈格（莱昂伯格） MSC公司：05C99年 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Chvátal}和\textit{W.Cook}，离散数学。86，编号1--3，191--198（1990；Zbl 0747.05087） 全文： 内政部
德里克·科内尔（Derek G.Corneil）。；罗娜·斯图尔特。 完美图中的支配集。 （英语） Zbl 0746.05066号 离散数学。 86，编号1-3，145-164（1990）.MSC公司：05C99年 68兰特 05C85号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Corneil}和\textit{L.K.Stewart}，离散数学。86，编号1--3，145-164（1990；Zbl 0746.05066） 全文： 内政部