朱利奥·马里诺;莫雷诺·纳瓦罗,胡安·何塞;苏珊娜·穆尼奥斯·赫南德斯 实施建设性内涵否定。 (英语) Zbl 1191.68151号 新一代计算。 27,编号1,25-56(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Mariño}等人,《新一代计算》。27,第1号,25-56(2009;Zbl 1191.68151) 全文: 内政部
阿米尔·托默;克里斯托弗·霍格。 通过动态继承实现规范。 (英语) Zbl 0804.68023号 新一代计算。 12,第2期,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) 全文: 内政部
丽塔·勒根 叙述函数逻辑语言和函数逻辑语言的实现技术。 (英语) 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) 全文: 内政部
大卫·普尔 将默认推理系统编译为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) 全文: 内政部
斯蒂芬·泰勒;Av-Ron,Evyatar公司;埃胡德·夏皮罗 用于进程和代码映射的分层方法。 (英语) 兹比尔062468031 新一代计算。 5, 185-205 (1987).MSC公司:68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Taylor}等人,《新一代计算》。5185-205(1987;Zbl 0624.68031) 全文: 内政部
尼尔森,乌尔夫 AID:DCG的替代实现。 (英语) Zbl 0621.68051号 新一代计算。 4, 383-399 (1986). 审核人:G.薄荷 MSC公司:68N20型 68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{U.Nilsson},新一代计算机。4、383--399(1986年;Zbl 0621.68051) 全文: 内政部
Masato Takeichi 插入注入操作以表示规格。 (英语) Zbl 0603.68014号 新一代计算。 4, 365-381 (1986).MSC公司:68第05页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi},新一代计算。4365-381(1986年;Zbl 0603.68014) 全文: 内政部
Kohei Noshita公司;Teruo Hikita公司 在线性空间中表示组合子的BC-chain方法。 (英语) 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) 全文: 内政部