×

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

表格:来自电子表格的概率推断。 (英语) Zbl 07311054号

Barthe,Gilles(编辑)等人,《概率规划基础》。剑桥:剑桥大学出版社。489-532 (2021).
MSC公司:68号01
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通用概率规划的lambda-calculus基础。 (英语) Zbl 1360.68314号

Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。33-46 (2016).
PDF格式BibTeX公司 XML格式引用

寓言:回归公式作为概率规划。 (英语) Zbl 1347.68035号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。271-283 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

出版年份

主字段

软件