×

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

概率程序的生成函数。 (英语) Zbl 07496650号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561231-248(2021年)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用

通过渠道学习:期望最大化的期望部分。 (英语) Zbl 07515958号

Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347, 143-160 (2019).
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段