艾尔维拉·阿尔伯特;德国普埃布拉;曼纽尔·赫尔梅内吉尔多 抽象携带代码:移动代码安全模型。 (英语) 兹比尔1169.68356 新一代计算。 26,第2期,171-204(2008).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《新一代计算》。26,第2号,171--204(2008;Zbl 1169.68356) 全文: 内政部 链接
岩马,富石;直纪小林 一种新的JVM锁原语类型系统。 (英语) Zbl 1169.68354号 新一代计算。 26,第2期,125-170(2008).MSC公司:68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{F.Iwama}和\textit{N.Kobayashi},新一代计算。26,编号2,125--170(2008;Zbl 1169.68354) 全文: 内政部
肯·卡尼瓦 层次表示中基于标签的公式的解析。 (英语) Zbl 1088.68164号 新一代计算。 22,第3期,253-269(2004).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},新一代计算。22,第3号,253--269(2004;Zbl 1088.68164) 全文: 内政部
伊芙琳娜·拉姆;法布里西奥·里古齐;路易斯·莫尼兹·佩雷拉 通过拉马克进化进行信仰修正。 (英语) Zbl 1089.68598号 新一代计算。 21,第3期,247-275(2003).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lamma}等人,《新一代计算》。21,第3号,247--275(2003;Zbl 1089.68598) 全文: 内政部
唐纳德·洛夫兰。;阿德南·H·叶海亚。 SATCHMOREBID:具有双向相关性的SATCHMO(RE)。 (英语) Zbl 1089.68546号 新一代计算。 21,第3期,177-207(2003).MSC公司:第68页,共15页 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Loveland}和\textit{A.H.Yahya},新一代计算。21,第3号,177--207(2003;Zbl 1089.68546) 全文: 内政部
斯特凡诺·巴斯塔;塞尔吉奥·弗莱斯卡;塞尔吉奥·格雷科 数据日志中的功能查询。 (英语) Zbl 1032.68070号 新一代计算。 20,第4期,339-371(2002).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Basta}等人,《新一代计算》。20,第4号,339--371(2002;Zbl 1032.68070) 全文: 内政部
Carbogim,Daniela V。;弗拉维奥·科雷亚·达席尔瓦 事实、论据、注释和推理。 (英语) Zbl 0971.03034号 新一代计算。 19,第1期,1-22页(2001年).MSC公司:03B70号 第68页第15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Carbogim}和\textit{F.S.C.Da Silva},新一代计算。19,第1号,1--22(2001;Zbl 0971.03034) 全文: 内政部
北卡罗来纳州塞拉利昂。;罗西,G。 有序逻辑程序的良好语义和分层。 (英语) Zbl 0798.68029号 新一代计算。 第12期,第1期,第91-121页(1993年).MSC公司:68N17号 68立方英尺 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Leone}和\textit{G.Rossi},新一代计算。12,编号1,91--121(1993;Zbl 0798.68029) 全文: 内政部
德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。;罗兰·H·C·雅普。 投影CLP(\({\mathcal R}\))约束。 (英语) Zbl 0780.68013号 新一代计算。 11,No.3-4,449-469(1993).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaffar}等人,《新一代计算》。11,编号3-449-469(1993年;Zbl 0780.68013) 全文: 内政部
Ohta,Yoshihiko先生;井上,Katsumi 将自上而下的信息纳入自下而上的假设推理。 (英语) Zbl 0780.68104号 新一代计算。 11,编号3-4,401-421(1993).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ohta}和\textit{K.Inoue},新一代计算。11,编号3--4,401-421(1993;Zbl 0780.68104) 全文: 内政部
沃德齐米尔兹·德拉本特;Maurizio Martelli 严格完成逻辑程序。 (英语) Zbl 0714.68084号 新一代计算。 9,第1期,69-79(1991).MSC公司:第68页第15页 68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent}和\textit{M.Martelli},新一代计算。9,编号1,69--79(1991;Zbl 0714.68084) 全文: 内政部
大卫·普尔 将默认推理系统编译为Prolog。 (英语) Zbl 0713.68017号 新一代计算。 9,第1期,3-38页(1991年).MSC公司:68N20型 68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole},新一代计算。9,第1号,第3--38号(1991年;Zbl 0713.68017) 全文: 内政部
广富美·卡苏诺(Hirofumi Katsuno) 闭世界假设在谓词中具有优先权。 (英语) Zbl 0711.68093号 新一代计算。 8,第3期,185-209(1990).MSC公司:68T27型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Katsuno},新一代计算。8,第3号,185--209(1990;Zbl 0711.68093) 全文: 内政部