×

找到24个文档(结果1-24)

支持归因的排序树的通用函数表示(Haskell可以做到)。 (英语) Zbl 1383.68016号

沃伦科夫,安德烈(编辑)等人,《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林:施普林格出版社(ISBN 978-3-642-37650-4/pbk)。计算机科学课堂讲稿7797,72-89(2013)。
MSC公司:68甲18 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一元数据日志树传感器。 (英语) Zbl 1234.68174号

Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457267-278(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

属性语法和范畴语义。 (英语) Zbl 1156.68026号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。第35届国际学术讨论会,2008年ICALP,冰岛雷克雅未克,2008年7月7日至11日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。计算机科学课堂讲稿5126271-282(2008)。
MSC公司:2012年第68季度 18 C50 18D05日 18日第10天
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向基于知识的语言规范。 (英语) Zbl 1412.68029号

巴兹迪Jánis(编辑)等人,波罗的海计算机科学。精选论文。柏林等:Springer-Verlag。莱克特。注释计算。科学。502, 65-76 (1991).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于逻辑编程Dislog的解释:在逻辑中编程长距离依赖。 (英语) Zbl 1493.68075号

Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 232-246 (1990).
MSC公司:68N17号 68T50型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段