×

找到38个文档（结果1-38）

最新的 引文 关联
阿尔特·卡奇，哈桑

抽象、可重用和可扩展的编程语言设计体系结构。 （英语） Zbl 1397.68023号

Tannen，Val（编辑）等人，《在计算理论和实践中寻求优雅》。专为彼得·布内曼撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-41659-0/pbk；978-3-442-41660-6/电子书）。计算机科学课堂讲稿8000，112-166（2013）。
MSC公司：68甲15 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Ait-Kaci}，莱克特。注释计算。科学。8000、112--166（2013；Zbl 1397.68023）
全文： 内政部
埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿（James B.Lipton）。

表格寓言中的逻辑编程。 （英语） Zbl 1281.68079号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学论文集17334-347，仅电子版（2012）。
MSC公司：68纳米30 68N20型 68N17号 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Gallego Arias}和\textit{J.B.Lipton}，LIPIcs——莱布尼茨国际程序。通知。17、334--347（2012；Zbl 1281.68079）
全文： 内政部
霍尔格·沙克曼

基于度量的软件工程档案评估，用于过程评级。（Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertuung） （德语） Zbl 1206.68004号

Aachener Informatik-Berichte，软件工程7。亚琛：Shaker Verlag；亚琛：亚琛大学，Fakultät für Mathematik，Informatik und Naturwissenschaften（Diss.）（ISBN 978-3-8322-9405-2/pbk）。第十五卷，194页。(2010).
MSC公司：68-02 68纳米30 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{H.Schackmann}，Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertuung。亚琛：Shaker Verlag；亚琛：亚琛大学，Fakultät für Mathematik，Informatik und Naturwissenschaften（Diss.）（2010；Zbl 1206.68004）
全文： 链接
吉安·卢伊斯·贾维托;奥利维尔·米歇尔

作为拓扑空间的数据结构。 （英语） Zbl 1029.68046号

Calude，Cristian S.（编辑）等人，《非传统计算模型》。第三届国际会议，2002年UMC，2002年10月15日至19日，日本神户。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2509, 137-150 (2002).
MSC公司：68第05页 2005年第68季度 68甲15 2012年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{J.-L.Giavitto}和\textit{O.Michel}，莱克特。注释计算。科学。2509137-150（2002年；Zbl 1029.68046）
全文： 链接
保罗·塔劳

Fluents:Prolog的重构，用于统一反射和与外部对象的互操作。 （英语） Zbl 0983.68749号

Lloyd，John（编辑）等人，《计算逻辑-CL 2000》。第一届国际会议，英国伦敦，2000年7月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1861, 1225-1239 (2000).
MSC公司：68单位99 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Tarau}，莱克特。注释计算。科学。1861年、1225年至1239年（2000年；Zbl 0983.68749）
Renate Henschel公司

系统语法的声明性表示和处理。 （英语） 兹伯利0804.68113

Martín-Vide，Carlos（编辑），《数学语言学的当前问题》。1993年3月30日至31日，西班牙加泰罗尼亚塔拉戈纳维吉利大学1993年ICML第一届国际会议。精选论文。阿姆斯特丹：荷兰北部。北韩语言学家。序列号。56, 363-371 (1994).
MSC公司：第68页第50页 2012年第68季度 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Henschel}，北荷兰语言学家。序列号。56363--371（1994年；Zbl 0804.68113）
薄荷，格里高利;Jan M.史密斯。;恩恩·图古

一些声明性语言的类型理论语义。 （英语） Zbl 1412.68043号

巴兹迪ṇJánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。注释计算。科学。502, 18-32 (1991).
MSC公司：68纳米30 03B70号 68甲15 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Mints}等人，Lect。注释计算。科学。50218--32（1991年；Zbl 1412.68043）
全文： 内政部
Junichi Tatemura;田中秀彦

并行逻辑编程语言Fleng的调试器。 （英语） Zbl 0792.68020号

Furukawa，Koichi（编辑）等人，《逻辑编程》，89年。第八届会议记录，日本东京，1989年7月12日至14日。柏林等：斯普林格-弗拉格。莱克特。注释计算。科学。485, 87-96 (1991).
MSC公司：68N17号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Tatemura}和\textit{H.Tanaka}，Lect。注释计算。科学。48587--96（1991年；Zbl 0792.68020）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件