喵ID：eEyR0C
Formalization of statistical conditional indenpendence relations using Coq/SSReflect Formalization of statistical conditional indenpendence relations using Coq/SSReflect
Formalization of statistical conditional indenpendence relations using Coq/SSReflect
Formalization of statistical conditional indenpendence relations using Coq/SSReflect使用 Coq/SSReflect 形式化统计条件独立关系
基本信息
DOI：
--
--发表时间：
2014
2014期刊：
影响因子：
--
--通讯作者：
汪金芳・萩原学・山本光晴
汪金芳・萩原学・山本光晴中科院分区：
文献类型：
--
-- 作者： 萩原学;久我健一;松田茂樹;桜井貴文;汪 金芳;山本光晴;汪金芳・萩原学・山本光晴
研究方向： --
MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址
文献摘要
暂无数据
参考文献（0）
被引文献（0）
暂无数据
数据更新时间：2024-06-01
