乌尔里希·尼切;Peter Ochsenschläger 系统的近似满足性质和简单语言同态。 （英语） Zbl 0900.68297号 信息处理。莱特。 60，第4期，201-206（1997）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Nitsche}和\textit{P.Ochsenschläger}，Inf.过程。莱特。60，第4号，201--206（1997；Zbl 0900.68297） 全文： 内政部
迈克尔·B·费尔德曼。 使用Ada 95进行软件构建和数据结构。第2版。 （英语） Zbl 0853.68078号 阿姆斯特丹：艾迪森·韦斯利。xiii，第647页（1997年）。 审核人：J.Vyskoć（布拉迪斯拉发） MSC公司：68N99型 68问题65 68第05页 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Feldman}，使用Ada 95进行软件构建和数据结构。第二版阿姆斯特丹：Addison-Wesley（1997；Zbl 0853.68078）
查尔斯·拉科斯 关于有色Petri网的抽象。 （英语） Zbl 1510.68065号 Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 42-61 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Lakos}，莱克特。注释计算。科学。1248，42-61（1997年；兹bl 1510.68065） 全文： 内政部
伯恩哈德·斯特芬 统一模型。 （英语） Zbl 1498.68061号 Reischuk，Rüdiger（编辑）等人，STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日，德国吕贝克。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1200, 1-20 (1997).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen}，莱克特。注释计算。科学。1200，1--20（1997；Zbl 1498.68061） 全文： 内政部
巴斯滕，特万;托马斯·昆兹;詹姆斯·布莱克。;迈克尔·H·科芬。;大卫·J·泰勒。 分布式计算中抽象事件之间的向量时间和因果关系。 （英语） Zbl 1448.68069号 分布计算。 11，第1号，21-39（1997）.MSC公司：68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Basten}等人，《分布计算》。11，No.1，21--39（1997；Zbl 1448.68069） 全文： 链接
乌尔里希·尼切;皮埃尔·沃尔珀 相对活性和行为抽象（扩展抽象）。 （英语） Zbl 1374.68295号 1997年8月21日至24日，美国加利福尼亚州圣巴巴拉市，第16届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-952-1）。45-52 (1997).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Nitsche}和\textit{P.Wolper}，in：第16届ACM分布式计算原理研讨会论文集，PODC’97，美国加利福尼亚州圣巴巴拉，1997年8月21日至24日。纽约州纽约市：计算机协会（ACM）。45-52（1997年；Zbl 1374.68295） 全文： 内政部
尤瓦尔·沙哈尔 基于知识的时态抽象框架。 （英语） Zbl 1017.03517号 Artif公司。智力。 90，第1-2号，第79-133号（1997年）.MSC公司：03B70号 68立方英尺 68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shahar}，阿蒂夫。智力。90，编号1--2，79-133（1997；Zbl 1017.03517） 全文： 内政部
罗德里格斯·康苏格拉，弗朗西斯科 皮亚诺学派的名义定义和逻辑后果。 （英语） Zbl 0981.01011号 塞贡达·埃波卡理论 12，第28号，125-137（1997）. 审核人：V.佩克豪斯（爱尔兰根） MSC公司：01年6月 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{F.Rodríguez-Consuegra}，理论，Segunda Epoca 12，No.28，125-137（1997；Zbl 0981.01011）
罗伯特·戈德布拉特 函数lambda抽象代数形式多样。 （英语） Zbl 0940.03071号 Bridges，D.S.（编辑）等人，《组合数学、复杂性和逻辑》。第一届离散数学和理论计算机科学国际会议论文集，1996年12月9日至13日，新西兰奥克兰，DMTCS’96。柏林：斯普林格。226-243 (1997). 审核人：乔治·汉苏尔（里昂） MSC公司：03G25号 03B40型 08B99年 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}，in：组合数学、复杂性和逻辑。第一届离散数学和理论计算机科学国际会议论文集，1996年12月9日至13日，新西兰奥克兰，DMTCS’96。柏林：斯普林格。226--243（1997；Zbl 0940.03071）
de Queiroz，Ruy J.G.B。;Dov M.加巴伊。 模态必要性的功能解释。 （英语） Zbl 0911.03012号 Rijke，Maarten de（编辑），《内涵逻辑的进展》。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。7, 61-91 (1997).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.J.G.B.de Queiroz}和\textit{D.M.Gabbay}，应用。日志。序列号。7、61-91（1997；Zbl 0911.03012）
瞿少燕 关于数学抽象。 （中文。英文摘要） Zbl 0903.01023号 洛阳大学。 12，第4号，28-30（1997）. 审核人：J.-C.Martzloff（巴黎） MSC公司：01A99号 01年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Qu}，J.洛阳大学12号，第4期，28--30页（1997；Zbl 0903.01023）
唐·皮戈齐;安东尼奥·萨利布拉 Lambda抽象代数：Lambda演算的协调模型。 （英语） Zbl 0890.03037号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 32，No.1，47-90（1997）.MSC公司：03G25号 03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Pigozzi}和\textit{A.Salibra}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.32，No.1，47--90（1997；Zbl 0890.03037）
巴甫洛维奇，杜什科 动作计算中名称和抽象的分类逻辑。 （英语） Zbl 0893.03028号 数学。结构。计算。科学。 7，第6号，619-637（1997）.MSC公司：03G30型 18日第10天 18立方厘米 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlović}，数学。结构。计算。科学。7，第6号，619--637（1997；Zbl 0893.03028） 全文： 内政部
斯蒂芬·默兹 抽象规则。 （英语） Zbl 0899.03013号 Shyamasundar，R.K.（编辑）等人，《计算科学进展——1997年亚洲》。第三届亚洲计算科学会议，尼泊尔加德满都，1997年12月9日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1345, 32-45 (1997). 审核人：L.州（布库雷什蒂） MSC公司：03B35型 68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \文本｛S.Merz｝，Lect。注释计算。科学。1345，32-45（1997；Zbl 0899.03013）
马丁·施文克 随机访问数据结构的高级细化（扩展抽象）。 （英语） Zbl 0885.68107号 Groves，Lindsay（编辑）等人，《形式方法太平洋》，1997年。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。317-318（1997年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Schwenke}，in：形式方法太平洋'97。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。317--318（1997；Zbl 0885.68107）
Frank M.Carrano。 用C++进行数据抽象和问题解决。墙壁和镜子。第2版。 （英语） Zbl 0883.68042号 波恩：Addison-Wesley。800页（1997年）。MSC公司：68第05页 68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Carrano}，数据抽象和用C++解决问题。墙壁和镜子。波恩第二版：Addison-Wesley（1997；Zbl 0883.68042）
萨宾·布罗达;路易斯·达马斯 组合逻辑中的紧凑括号抽象。 （英语） Zbl 0894.03007号 J.塞姆。日志。 62，第3期，729-740（1997）. 审核人：M.W.Bunder（伍伦贡） MSC公司：03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Broda}和\textit{L.Damas}，J.Symb。日志。62，第3号，729--740（1997；Zbl 0894.03007） 全文： 内政部
纳达·拉夫拉奇;埃尔皮达·科拉夫努（Elpida T.Keravnou）。;布拉泽祖潘 医学和药理学中的智能数据分析。第一届国际研讨会，IDAMAP-96，匈牙利布达佩斯，1996年8月。 （英语） Zbl 0882.92014号 Kluwer国际工程与计算机科学系列. 414. 多德雷赫特：Kluwer学术出版社。xxi，310页（1997年）。MSC公司：92 C50 68层35 92-06 00B25型 68单位99 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{N.Lavrač}等人，《医学和药理学中的智能数据分析》。第一届国际研讨会，IDAMAP-96，匈牙利布达佩斯，1996年8月。多德雷赫特：Kluwer学术出版社（1997年；Zbl 0882.92014）
阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 抽象证明检查：由不完全性定理驱动的示例。 （英语） Zbl 0890.03004号 J.汽车。推理 19，第3期，319-346（1997）. 审核人：M.P.博纳西纳（爱荷华州市） MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人，J.Autom。推理19，No.3，319--346（1997；Zbl 0890.03004） 全文： 内政部
Rajat P.加格。;Joel H.Ferziger。;斯蒂芬·莫尼斯米思（Stephen G.Monismith）。 分布式存储结构上分层湍流的混合谱有限差分模拟。 （英语） Zbl 0886.76058号 国际期刊数字。方法流体 24，第11期，1129-1158（1997）.MSC公司：76M20码 76F10层 76伏05 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Garg}等人，《国际数学家杂志》。方法液体24，No.11，1129--1158（1997；Zbl 0886.76058） 全文： 内政部
阿米特·巴苏;罗伯特·布兰宁（Robert W.Blanning）。;阿夫拉罕·什塔布 分层建模中的元图。 （英语） Zbl 0890.90003号 管理。科学。 43，第5期，623-639（1997）.MSC公司：91B06型 05C90年 68层35 90磅50英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.Basu}等人，管理。科学。43，第5号，623--639（1997；Zbl 0890.90003） 全文： 内政部
吉恩·盖利埃 克里普克模型和二阶（lambda）演算的（in）方程逻辑。 （英语） Zbl 0873.03017号 Ann.纯粹应用。逻辑 84，第3期，257-316（1997）.MSC公司：03B40型 18日第15天 03G30型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Gallier｝，Ann.纯应用。逻辑84，No.3，257--316（1997；Zbl 0873.03017） 全文： 内政部
马塞洛·F·弗里亚斯。;阿曼多·海伯勒（Armando M.Haeberer）。;保罗·A·S·维洛索。 fork代数的有限公理化。 （英语） Zbl 0873.03052号 日志。J.IGPL公司 5，第3期，311-319（1997）. 审核人：S.Rudeanu（布凯什蒂） MSC公司：03G15年 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛M.F.Frias｝等人，日志。J.IGPL 5，第3号，311--319（1997；Zbl 0873.03052） 全文： 内政部
装载机，拉尔夫 归纳类型的等式理论。 （英语） Zbl 0873.03019号 Ann.纯粹应用。逻辑 84，第2期，175-217（1997）.MSC公司：03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Loader}，Ann.纯应用。逻辑84，No.2，175--217（1997；Zbl 0873.03019） 全文： 内政部