Continuous morphisms in constructive topological spaces
Continuous morphisms in constructive topological spaces
复制标题
构造拓扑空间中的连续态射
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Hajime Ishihara
中科院分区：
文献类型：
--
作者：
Hajime Ishihara;Peter Schuster;Hajime Ishihara and Peter Schuster;Hajime Ishihara;Hajime Ishihara;Hajime Ishihara
形式实数Heine-Borel覆盖定理的构造性证明
DOI：
10.1007/3-540-61780-9_62
发表时间：
1995
期刊：
--
影响因子：
--
作者：
J. Cederquist;Sara Negri
通讯作者：
Sara Negri