肯·卡内瓦;诺里希罗·卡米德 次一致计算树逻辑。 (英语) Zbl 1251.68227号 新一代计算。 29,第4期,391-408(2011).MSC公司:68T27型 03B53号 60年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa}和\textit{N.Kamide},新一代计算。29,第4号,391--408(2011;Zbl 1251.68227) 全文: 内政部
斯特凡·韦尔;彼得·蒂曼 具有有界存在类型和实现约束的子类型的可判定性。 (英语) Zbl 1251.68075号 新一代计算。 29,第1期,87-124(2011).MSC公司:68甲19 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wehr}和\textit{P.Thiemann},新一代计算。29,第1号,87-124(2011;Zbl 1251.68075) 全文: 内政部
胡镇江(编辑) 特刊:编程语言和系统。根据2009年12月14日至16日在韩国首尔举行的第七届亚洲研讨会(APLAS 2009)上的陈述,选出论文。 (英语) Zbl 1254.68031号 新一代计算。29,第1期,124页。(2011). MSC公司:68-06 00B25型 68甲15 68N17号 68甲18 68号30 PDF格式BibTeX公司 XML格式
Gra Brzykcy公司ẓ伊纳 关于对等代理系统中语义数据集成任务的声明性规范的一些说明。 (英语) Zbl 1191.68238号 新一代计算。 28,第1期,95-109(2010).MSC公司:第68页,共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Brzykcy},新一代计算。28,第1号,95--109(2010;Zbl 1191.68238) 全文: 内政部
大卫·金尼 可靠的代理人沟通——务实的观点。 (英语) Zbl 0978.68097号 新一代计算。 19,第2期,139-156(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kinny},新一代计算机。19,第2号,139--156(2001;Zbl 0978.68097) 全文: 内政部
马克·贝泽姆;简·基赞坎普 完成的非循环项目的不确定目标。 (英语) 兹比尔0804.68020 新一代计算。 第12卷第2期,209-213页(1994年).MSC公司:68N17号 60年第68季度 03B25号 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}和\textit{J.Keuzenkamp},新一代计算。12,第2号,209--213(1994;Zbl 0804.68020) 全文: 内政部
阿米尔·托默;克里斯托弗·霍格。 通过动态继承实现规范。 (英语) Zbl 0804.68023号 新一代计算。 第2期,第12期,183-208页(1994年).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tomer}和\textit{C.J.Hogger},新一代计算。12,第2号,183--208(1994;Zbl 0804.68023) 全文: 内政部
丹·萨林 Mixtus:完整Prolog的自动部分求值器。 (英语) Zbl 0942.68516号 新一代计算。 第12期,第1期,第7-51页(1993年).MSC公司:68号01 60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sahlin},新一代计算。12,编号1,7--51(1993;Zbl 0942.68516) 全文: 内政部
丽塔·勒根 叙述函数逻辑语言和函数逻辑语言的实现技术。 (英语) Zbl 0774.68021号 新一代计算。 11,No.2,179-215(1993).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Loogen},新一代计算机。11,No.2,179--215(1993;Zbl 0774.68021) 全文: 内政部
万豪酒店,Kim;哈拉尔德·森德加德 Prolog的差异列表转换。 (英语) Zbl 0774.68027号 新一代计算。 11,第2期,125-157(1993).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}和\textit{H.Söndergaard},新一代计算。11,编号2125-157(1993年;兹bl 0774.68027) 全文: 内政部
皮埃尔·德兰萨特;杰拉德·费兰德 PROLOG的操作形式化定义:一种规范化方法及其应用。 (英语) Zbl 0741.68028号 新一代计算。 10,第2期,121-171(1992).MSC公司:68N17号 68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Deransart}和\textit{G.Ferrand},新一代计算。10,第2号,121--171(1992;Zbl 0741.68028) 全文: 内政部
D.R.布鲁。;霍格,C.J。 逻辑程序的语法相关转换。 (英语) Zbl 0722.68019号 新一代计算。 9,第2期,115-134(1991).MSC公司:68N17号 60年第68季度 2012年第68季度 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger},新一代计算。9,第2号,115--134(1991;Zbl 0722.68019) 全文: 内政部
大辅佐藤;Tamaki,Hisao先生 存在延续。 (英语) Zbl 0664.68103号 新一代计算。 6,第4期,421-438(1989).MSC公司:68吨15 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{H.Tamaki},新一代计算。6,第4号,421--438(1989;Zbl 0664.68103) 全文: 内政部
拉霍蒂亚,A。;斯特林,L。 使用子句联接编写递归逻辑程序。 (英语) Zbl 0655.68119号 新一代计算。 6,编号2-3,211-225(1988).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lakhotia}和\textit{L.Sterling},新一代计算。6,编号2--3,211-225(1988;Zbl 0655.68119) 全文: 内政部
Koichi Furukawa;小村,亚基拉;村上春树,Masaki 为GHC计划制定规则。 (英语) Zbl 0654.68104号 新一代计算。 6,编号2-3,143-157(1988).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Furukawa}等人,《新一代计算》。6,编号2--3,143-157(1988;Zbl 0654.68104) 全文: 内政部
约翰·加拉赫;迈克尔·科迪什;埃胡德·夏皮罗 使用抽象解释对Prolog和FCP程序进行专门化。 (英语) Zbl 0654.68025号 新一代计算。 6,编号2-3159-186(1988).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Gallagher}等人,《新一代计算》。6,编号2--3,159--186(1988;Zbl 0654.68025) 全文: 内政部
藤田,广岛;Koichi Furukawa 一个自应用的部分求值器及其在增量编译中的使用。 (英语) Zbl 0654.68024号 新一代计算。 6,编号2-3,91-118(1988).MSC公司:60年第68季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fujita}和\textit{K.Furukawa},新一代计算。6,编号2--3,91-118(1988;Zbl 0654.68024) 全文: 内政部
劳伦特·哈斯科特 使用推理规则进行部分求值。 (英语) Zbl 0654.68023号 新一代计算。 6,编号2-3,187-209(1988).MSC公司:60年第68季度 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Hascoöt},新一代计算。6,编号2--3,187-209(1988;Zbl 0654.68023) 全文: 内政部
乔治·列维;朱塞佩·萨尔杜 在“多世界”逻辑语言中对元程序进行部分评估。 (英语) Zbl 0654.68022号 新一代计算。 6,编号2-3,227-247(1988).MSC公司:60年第68季度 68吨15 68T99型 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Levi}和\textit{G.Sardu},新一代计算。6,编号2--3,227--247(1988;Zbl 0654.68022) 全文: 内政部
大卫·A·富勒。;萨姆森·艾布拉姆斯基 Prolog程序的混合计算。 (英语) Zbl 0654.68021号 新一代计算。 6,编号2-3,119-141(1988).MSC公司:60年第68季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Fuller}和\textit{S.Abramsky},新一代计算。6,No.2--3,119--141(1988;Zbl 0654.68021) 全文: 内政部
安德烈·埃尔绍夫。 开场主旨演讲。 (英语) Zbl 0654.68007号 新一代计算。 6,编号2-3,79-86(1988).MSC公司:68-03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Ershov},新一代计算。6,编号2--3,79-86(1988;Zbl 0654.68007) 全文: 内政部
彼得·塞斯托夫特;亚历山大五世·扎姆林。 关于部分评估和混合计算的注释书目。 (英语) Zbl 0646.68016号 新一代计算。 6,编号2-3,309-354(1988).MSC公司:60年第68季度 00A15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Sestoft}和\textit{A.V.Zamulin},新一代计算。6,编号2--3,309--354(1988;Zbl 0646.68016) 全文: 内政部
Masato Takeichi Lambda-hositing:一种转换技术,用于函数程序的完全惰性评估。 (英语) Zbl 0637.68015号 新一代计算。 第5期,第4期,377-391页(1988年).MSC公司:68号01 99年第68季度 03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi},新一代计算。5,第4号,377--391(1988;Zbl 0637.68015) 全文: 内政部
伊恩·汤恩;科林·伦西曼 调整组合器和SECD机器以显示函数计算的快照。 (英语) Zbl 0603.68003号 新一代计算。 339-363页(1986年).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Toyn}和\textit{C.Runciman},新一代计算。4339-363(1986年;Zbl 0603.68003) 全文: 内政部
沃达,Paul J。 使用单变量环境计算全逻辑程序。 (英语) Zbl 0593.68009号 新一代计算。 4, 153-187 (1986).MSC公司:68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Voda},新一代计算。4153-187(1986年;兹bl 0593.68009) 全文: 内政部
安东尼·库萨利克。 逻辑计算机系统的规范和初始化。 (英语) Zbl 0593.68007号 新一代计算。 4, 189-209 (1986).MSC公司:68N99型 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Kusalik},新一代计算。4、189--209(1986年;Zbl 0593.68007) 全文: 内政部
Ohsuga,S。;山内,H。 多层逻辑-一种谓词逻辑,包括作为知识表示语言的数据结构。 (英语) Zbl 0635.68110号 新一代计算。 3, 403-439 (1985). 审核人:贝内舍夫斯克 MSC公司:68T20型 68问题65 68吨15 68T99型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Ohsuga}和\textit{H.Yamauchi},新一代计算机。3403--439(1985年;Zbl 0635.68110) 全文: 内政部
斯坦利·罗森谢恩(Stanley J.Rosenschein)。 人工智能和机器人知识的形式化理论。 (英语) Zbl 0596.68061号 新一代计算。 3, 345-357 (1985). 审核人:酒井Y.Sakai MSC公司:68T99型 68T05型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Rosenschein},新一代计算。3345-357(1985;Zbl 0596.68061) 全文: 内政部
约翰·科纳里。;Dennis F.Kibler。 逻辑程序中的AND并行性和不确定性。 (英语) Zbl 0595.68025号 新一代计算。 3, 43-70 (1985).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Conery}和\textit{D.F.Kibler},新一代计算。3、43-70(1985年;Zbl 0595.68025) 全文: 内政部
Kohei Noshita公司;Teruo Hikita公司 在线性空间中表示组合子的BC链方法。 (英语) Zbl 0594.68034号 新一代计算。 3, 131-144 (1985).MSC公司:68问题65 65年第68季度 68号01 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Noshita}和\textit{T.Hikita},新一代计算。313-144(1985;Zbl 0594.68034) 全文: 内政部
阿基拉·福佐卡;西基、广岛;高桥久子 时序逻辑中VLSI电路的描述和推理。 (英语) 兹比尔0592.68033 新一代计算。 2, 79-90 (1984).MSC公司:68问题65 94C15号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fusaoka}等人,《新一代计算》。279--90(1984年;Zbl 0592.68033) 全文: 内政部
Masami Hagiya;高府樱井 基于归纳定义的逻辑编程基础。 (英语) Zbl 0592.68032号 新一代计算。 2, 59-77 (1984).MSC公司:68问题65 03日70 PDF格式BibTeX公司 XML格式引用 \textit{M.Hagiya}和\textit{T.Sakurai},新一代计算。259--77(1984年;Zbl 0592.68032) 全文: 内政部