ルベーグ積分の形式化について

ルベーグ積分の形式化について
复制标题

关于勒贝格积分的形式化

DOI:
--
复制
发表时间:
2006
期刊:
日本Mizar学会2006秋季総会予稿集 1
影响因子:
--
通讯作者:
鈴木康正
鈴木康正
中科院分区:
--
文献类型:
--
作者:
佐々木明夫;張山昌論;亀山充隆;Noboru Endou;Yasunari Shidama;Noboru Endou;Noboru Endou;宮島啓一;鈴木康正

文献摘要

相似文献