×

找到517个文档(结果1-100)

波兰空间的集体行动。 (英语) Zbl 07739834号

Balcerzak,Marek(编辑)等人,《真实分析中的启示》。根据2022年4月3日至8日在波兰Będlewo举行的国际会议上的发言选出的论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。125, 119-127 (2023).
MSC公司:03E35号 03E75型
PDF格式BibTeX公司 XML格式引用

将拟光滑空间的赋值空间构造为理想空间。 (英语) Zbl 07830365号

Manea,Florin(编辑)等人,第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14-19日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216,第9条,第10页(2022年)。
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

关于紧空间上的凝聚。 (英语。俄文原件) Zbl 1522.54027号

多克。数学。 106,编号2,351-355(2022); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。506, 57-61 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Boole vs Wadge:比较描述性集合论的两种基本工具。 (英语) Zbl 07627936号

Berger,Ulrich(编辑)等人,《可计算性的革命与启示》。第18届欧洲可计算性会议,2022年7月11日至15日,英国斯旺西,CiE 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13359, 287-298 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效拟Polish空间的枚举类。 (英语) Zbl 07627920号

Berger,Ulrich(编辑)等人,《可计算性的革命与启示》。第18届欧洲可计算性会议,2022年7月11日至15日,英国斯旺西,CiE 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13359, 88-102 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效的涉水层次结构不会崩溃。 (英语) Zbl 07495187号

De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12813, 407-416 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

波兰空间上极值概率测度的存在条件及其一些性质。 (英语。俄文原件) Zbl 1473.60007号

数学。笔记 109,第3期,489-493(2021); 翻译自Mat.Zametki 109,编号3,470-474(2021)。
MSC公司:60B05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

波兰空间同胚类型的不可计算度。 (英语) Zbl 07633507号

Anselmo,Marcella(编辑)等人,《超越可计算性的视野》。第十六届欧洲可计算性会议,CiE 2020,意大利费西亚诺,2020年6月29日至7月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12098, 189-192 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

好的拟序和层次理论。 (英语) Zbl 1496.03189号

Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 271-319 (2020).
PDF格式BibTeX公司 XML格式引用

理想的通用集合。 (英语) Zbl 1420.54052号

PDF格式BibTeX公司 XML格式引用

波兰空间分析和最佳交通介绍。 (英语) Zbl 1407.46001号

伦敦数学学会学生课文89.剑桥:剑桥大学出版社(ISBN 978-1-108-42157-7/hbk;978-1-108-43176-7/pbk;978-1-108-37736-2/ebook)。ix,第348页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

与自动机相关的一些拓扑的抛光性。 (英语) Zbl 1434.03100号

Goranko,Valentin(编辑)等人,第26届EACSL计算机科学逻辑年会,CSL 2017,瑞典斯德哥尔摩,2017年8月20日至24日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82,第22条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

预测分布的渐近性。 (英语) Zbl 1422.62014年

Ferraro,Maria Brigida(编辑)等人,《数据科学的软方法》。根据2016年9月12日至14日在意大利罗马举行的第八届概率与统计软方法国际会议上的演讲选择的论文,SMPS 2016。查姆:斯普林格。高级智能。系统。计算。第456、53-60页(2017)。
MSC公司:62-07 60对20 62E10型 62E20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于跨度和耦合的随机过渡系统的组成。 (英语) Zbl 1388.68196号

Chatzigiannakis,Ioannis(编辑)等人,第43届自动化、语言和编程国际学术讨论会,2016年ICALP,意大利罗马,2016年7月12-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-013-2)。LIPIcs–Leibniz International Proceedings in Informatics 55,Article 102,15 p.(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向有效的描述性集合理论。 (英语) Zbl 1461.03049号

Beckmann,Arnold(编辑)等人,《进化的可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9136, 324-333 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

两类可度量空间\(\ell_{c}\)-不变量。 (英语) Zbl 1326.54004号

Ferrando,Juan Carlos(编辑)等,描述性拓扑和功能分析。为了纪念杰西·科尔的60岁生日。2013年9月27日至28日在西班牙埃尔切举行的拓扑和功能分析第一次会议记录。商会:施普林格出版社(ISBN 978-3-319-05223-6/hbk;978-3-319-05224-3/ebook)。施普林格数学与统计学论文集8095-116(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超度量抛光空间上的Lipschitz和一致连续可约性。 (英语) Zbl 1344.03040号

Brattka,Vasco(编辑)等人,《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林:De Gruyter(ISBN 978-1-61451-783-2/hbk;978-1-61481-804-4/电子书)。Ontos数学逻辑4,213-258(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

传记参考