×

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

一元拓扑、粗糙集和Kleene代数的偏序单元。 (英语) Zbl 1337.18003号

Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,67-81(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

感应生成拓扑上局部紧形式拓扑的预测指数。 (英语) Zbl 1097.03057号

Crosilla,Laura(编辑)等人,《从集合和类型到拓扑和分析》。构建数学的实用基础。基于研讨会,意大利威尼斯,2003年5月12日至16日。牛津:牛津大学出版社(ISBN 0-19-856651-4/hbk)。《牛津逻辑指南》48,202-222(2005)。
PDF格式BibTeX公司 XML格式引用

空间作为共单子体。 (英语) Zbl 1095.03074号

Crosilla,Laura(编辑)等人,《从集合和类型到拓扑和分析》。构建数学的实用基础。基于研讨会,意大利威尼斯,2003年5月12日至16日。牛津:牛津大学出版社(ISBN 0-19-856651-4/hbk)。《牛津逻辑指南》48193-201(2005)。
MSC公司:65楼03号 54B30型 18日第10天
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

软件