广场,1月A日。(编辑);约翰·坎贝尔(John A.Campbell)。(编辑) 符号计算和人工智能专题。第四届国际会议,AISC’98,美国纽约州普拉茨堡州立大学,1998年9月。 (英语) Zbl 0939.00036号 芬丹。通知。 39,第1-2期,228页(1999年).MSC公司:00B25型 68-06 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Plaza}(编辑)和textit{J.A.Campbell}(主编),Fundam。通知。39,第1-2228~页(1999年;Zbl 0939.00036)
森德拉·J·拉斐尔;弗兰茨·温克勒 有理实代数曲线的算法。 (英语) Zbl 0951.68166号 芬丹。通知。 39,编号1-2,211-228(1999).MSC公司:68单位05 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Sendra}和\textit{F.Winkler},Fundam。通知。39,编号1--2,211-228(1999;Zbl 0951.68166)
碧姬·品特卡;克里斯托夫·克里茨 自动化归纳规格证明。 (英语) Zbl 0951.68145号 芬丹。通知。 39,第1-2期,189-209(1999).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}和\textit{C.Kreiz},Fundam。通知。39,编号1--2,189-209(1999;Zbl 0951.68145)
埃里克·蒙弗罗伊;克里斯托弗·林盖森 约束求解器扩展的开放式自动化框架:SoleX方法。 (英语) Zbl 0943.68019号 芬丹。通知。 39,第1-2号,167-187(1999).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Monfroy}和\textit{C.Ringeissen},Fundam。通知。39,编号1--2,167-187(1999;Zbl 0943.68019)
克里斯托弗·林奇;克莉丝特尔·谢尔夫 基本完成\(E \)-循环简化。 (英语) Zbl 0951.68144号 芬丹。通知。 39,编号1-2,145-165(1999).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{C.Scharff},Fundam。通知。39,编号1--2,145-165(1999;Zbl 0951.68144)
操,德克 关于自下而上和自上而下计算中子目标子句的使用。 (英语) Zbl 0951.68143号 芬丹。通知。 39,编号1-2,123-143(1999).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Fuchs},芬丹。通知。39,编号1--2,123-143(1999;Zbl 0951.68143)
配件,梅尔文 关于量化模态逻辑。 (英语) Zbl 0936.03019号 芬丹。通知。 39,编号1-2,105-121(1999). 审核人:安娜·戈莫利安斯卡(比亚莱斯托克) MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},Fundam。通知。39,编号1--2,105-121(1999;Zbl 0936.03019)
费维尔,圣菲;王东明 结合Clifford代数计算和术语重写进行几何定理证明。 (英语) Zbl 0951.68142号 芬丹。通知。 39,编号1-2,85-104(1999).MSC公司:第68页第15页 2012年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{S.Fèvre}和\textit{D.Wang},Fundam。通知。39,编号1--2,85-104(1999;Zbl 0951.68142)
埃格利,乌韦;斯蒂芬·施密特 关于直觉证明变换、其复杂性以及在构造性程序综合中的应用。 (英语) Zbl 0951.68141号 芬丹。通知。 39,编号1-2,59-83(1999).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{U.Egly}和\textit{S.Schmitt},Fundam。通知。39,编号1--2,59-83(1999;Zbl 0951.68141)
贝尔托利,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 0951.68172号 芬丹。通知。 39,第1-2、21-38号(1999年).MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{B.Benhamou}和\textit{L.Henocque},Fundam。通知。39,编号1--2,21-38(1999;Zbl 0951.68172)
克莱门斯·巴拉林;劳伦斯·C·鲍尔森。 通过计算机代数扩展证明程序的实用方法——应用于编码理论。 (英语) Zbl 0951.68196号 芬丹。通知。 39,第1-2、1-20号(1999).MSC公司:68瓦30 94B99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballarin}和\textit{L.C.Paulson},Fundam。通知。39,编号1--2,1--20(1999;Zbl 0951.68196)