×

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

概率和贝叶斯推理的一种类型理论。 (英语) Zbl 1433.68264号

Uustalu,Tarmo(编辑),第21届国际校样和程序类型会议,2015年5月18日至21日,爱沙尼亚塔林。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69,第1条,第34页(2018)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份