王志;詹姆斯·斯拉格尔 一种面向对象的基于知识的方法,用于制定应用的一般均衡模型。 (英语) Zbl 0875.90064号 《经济学杂志》。动态。控制 20,编号1-3,209-236(1995).MSC公司:91B50型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wang}和\textit{J.Slagle},J.Econ。动态。对照20,编号1--3,209--236(1995;Zbl 0875.90064) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。 计算机科学和人工智能。 (英语) Zbl 0529.68047号 计算机科学研究,数学硕士。22, 229-279 (1982). 审核人:Jozef Kelemen(布拉迪斯拉发) MSC公司:68泰克 68吨15 68T20型 68T99型 68-01 PDF格式BibTeX公司 XML格式
Chang,C.L。;斯莱格尔,J.R。 使用连接图的重写规则证明定理。 (英语) 兹比尔0429.68078 Artif公司。智力。 12, 159-178 (1979).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Chang}和\textit{J.R.Slagle},Artif。智力。12、159--178(1979年;Zbl 0429.68078) 全文: 内政部
詹姆斯·斯拉格尔 用一些算法进行实验,找到模式分类的中心解决方案。 (英语) Zbl 0393.68088号 Commun公司。ACM公司 22, 178-183 (1979).MSC公司:68吨10 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.斯拉格},Commun。ACM 22、178--183(1979年;Zbl 0393.68088) 全文: 内政部
李,R.C.T。;詹姆斯·斯拉格尔(James R.Slagle)。;孟,C.T。 实现记录的自动审核。 (英语) 兹伯利0385.6078 IEEE传输。软件工程。 4, 441-448 (1978).MSC公司:68T99型 第68页第20页 62H30型 94A99型 PDF格式BibTeX公司 XML格式引用 \textit{R.C.T.Lee}等人,IEEE Trans。柔和。工程441--448(1978;Zbl 0385.68078) 全文: 内政部
李,R.C.T。;斯莱格尔,J.R。;孟,C.T。 应用聚类来估计缺失数据并改进数据完整性。 (英语) Zbl 0362.68117号 程序。第二届国际Conf.Software Eng.,旧金山,1976,539-544(1976)。MSC公司:68吨10 68号01 62H30型 PDF格式BibTeX公司 XML格式
斯莱格尔,J.R。;诺顿,L.M。 部分和全部排序理论的自动理论证明。 (英语) Zbl 0296.68091号 计算机J。 18, 49-54 (1975).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{L.M.Norton},计算机。J.18,49-54(1975;Zbl 0296.68091) 全文: 内政部
斯莱格尔,J.R。;Chang,C.L。;S.R.海勒。 一种聚类和数据重组算法。 (英语) Zbl 0293.68074号 IEEE传输。系统。人类网络。 5, 125-128 (1975).MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}等人,IEEE Trans。系统。人类网络。5125--128(1975年;Zbl 0293.68074) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。 为具有简化器、交换性和结合性的理论提供自动化理论证明。 (英语) Zbl 0296.68092号 J.协会计算。机器。 21, 622-642 (1974).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.协会计算。机器。21622--642(1974年;Zbl 0296.68092) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。;Lewis M.诺顿。 使用具有部分排序推理规则的自动理论证明进行实验。 (英语) 兹比尔0271.68062 Commun公司。ACM公司 16, 682-688 (1973).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{L.M.Norton},Commun。ACM 16,682--688(1973;Zbl 0271.68062) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。 一种寻找C-线性完备推理系统的方法。 (英语) 兹比尔0246.68018 J.协会计算。机器。 19, 496-516 (1972).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.协会计算。机器。19、496--516(1972年;Zbl 0246.68018) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。 自动定理证明,内置理论包括等式、偏序和集合。 (英语) Zbl 0231.68035号 J.协会计算。机器。 19, 120-135 (1972).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.计算机助理。机器。19、120--135(1972年;Zbl 0231.68035) 全文: 内政部
Chang,C.L。;斯莱格尔,J.R。 等式理论线性反驳的完备性。 (英语) Zbl 0239.68016号 J.协会计算。机器。 18, 126-136 (1971).MSC公司:68吨15 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Chang}和\textit{J.R.Slagle},J.协会计算。机器。18226-136(1971年;兹bl 0239.68016) 全文: 内政部
Chang,C.L。;斯莱格尔,J.R。 搜索and/OR图的一种允许的优化算法。 (英语) Zbl 0227.68016号 Artif公司。智力。 2, 117-128 (1971).MSC公司:68兰特 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Chang}和\textit{J.R.Slagle},人工制品。智力。2117--128(1971;Zbl 0227.68016) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。;Deena A.科尼弗。 在AN/OR树中查找解决方案证明并使用重复目标。 (英语) 兹比尔0226.68043 信息科学。 3, 315-342 (1971).MSC公司:68吨15 68-04 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{D.A.Koniver},《信息科学》。315--342(1971;Zbl 0226.68043) 全文: 内政部
斯莱格尔,J.R。;C.D.法雷尔。 多用途启发式程序的自动学习实验。 (英语) Zbl 0214.42602号 Commun公司。ACM公司 14, 91-99 (1971).MSC公司:68T05型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{C.D.Farrell},Commun。ACM 14,91-99(1971年;Zbl 0214.42602) 全文: 内政部
斯莱格尔,J.R。;李,R.C.T。 博弈树搜索技术在序列模式识别中的应用。 (英语) Zbl 0213.18205号 Commun公司。ACM公司 14, 103-110 (1971).MSC公司:68吨10 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{R.C.T.Lee},Commun。ACM 14,103--110(1971;Zbl 0213.18205) 全文: 内政部
斯莱格尔,J.R。 启发式搜索程序。 (英语) Zbl 0208.19802号 西奥。接近非数字。问题。解决方案。,程序。IV系统。交响乐团。凯斯西储大学,俄亥俄州克利夫兰,1968246-273(1970)。MSC公司:68页第10页 PDF格式BibTeX公司 XML格式
斯莱格尔,J.R。 下谓词演算中解的插值定理。 (英语) Zbl 0198.03601号 J.协会计算。机器。 17, 535-542 (1970). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.协会计算。机器。17、535--542(1970年;Zbl 0198.03601) 全文: 内政部
斯莱格尔,J.R。;Chang,C.-L。;李,R.C.T。 一种生成素数蕴涵的新算法。 (英语) Zbl 0197.14601号 IEEE传输。计算。 19, 304-310 (1970). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}等人,IEEE Trans。计算。19、304--310(1970年;Zbl 0197.14601) 全文: 内政部
斯莱格尔,J.R。;J.K.狄克逊。 用(M)和(N)树搜索程序进行实验。 (英语) Zbl 0187.40503号 Commun公司。ACM公司 131147-154159(1970年). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和textit{J.K.Dixon},Commun。ACM 13,147--154159(1970;Zbl 0187.40503) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。;约翰·K·狄克逊。 用一些搜索游戏树的程序进行实验。 (英语) 兹比尔0224.68009 J.协会计算。机器。 16, 189-207 (1969).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和textit{J.K.Dixon},J.协会计算。机器。16、189--207(1969年;Zbl 0224.68009) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。;菲利普·伯斯基 使用多用途、理论证明的启发式程序进行实验。 (英语) 兹伯利0159.21202 J.协会计算。机器。 15, 85-99 (1968). 审核人:W·卡默勒 MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{P.Bursky},J.协会计算。机器。15、85-99(1968年;Zbl 0159.21202) 全文: 内政部
斯莱格尔,J.R。 实数切比雪夫多项式定理复数模拟的推广。 (英语) Zbl 0153.09701号 美国数学。周一。 75, 58-59 (1968). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},美国数学。周一。75,58-59(1968年;兹bl 0153.09701) 全文: 内政部
斯莱格尔,J.R。 具有可重命名和语义解析的自动定理证明。 (英语) 兹比尔0157.02405 J.协会计算。机器。 14, 687-697 (1967). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.协会计算。机器。14687-697(1967年;兹bl 0157.02405) 全文: 内政部
斯莱格尔,J.R。 学习的多用途定理证明启发式程序。 (英语) Zbl 0173.01704号 信息处理。,程序。IFIP大会。,纽约市1965年,323-324(1966)。 PDF格式BibTeX公司 XML格式
詹姆斯·斯拉格尔(James R.Slagle)。 关于最小成本程序的算法。 (英语) Zbl 0123.33708号 Commun公司。ACM公司 7, 682 (1964). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},公共。ACM 7682(1964年;Zbl 0123.33708) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。 一种有效的算法,用于寻找进行二进制决策的某些最小成本过程。 (英语) Zbl 0123.33707号 J.协会计算。机器。 11, 253-264 (1964). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.协会计算。机器。11253-264(1964年;兹bl 0123.33707) 全文: 内政部
詹姆斯·斯拉格尔(James R.Slagle)。 解决新生微积分中的符号积分问题的启发式程序。 (英语) Zbl 0113.32801 J.协会计算。机器。 10, 507-520 (1963). PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle},J.协会计算。机器。10507--520(1963年;Zbl 0113.32801) 全文: 内政部