×

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

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

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

Harald Ganzinger的遗产:对逻辑和编程的贡献。 (英语) Zbl 1383.68003号

沃伦科夫,安德烈(编辑)等人,《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林:施普林格出版社(ISBN 978-3-642-37650-4/pbk)。计算机科学课堂讲稿7797,1-18(2013)。
MSC公司:2003年8月 01A70号 03B70号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展的多自下而上树传感器。 (英语) Zbl 1161.68523号

Ito,Masami(编辑)等人,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257289-300(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件