ノルム線形空間の直積空間の形式化表現について

ノルム線形空間の直積空間の形式化表現について
复制标题

关于赋范线性空间的笛卡尔积空间的形式化表示

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

文献摘要

相似文献