×

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

高钾小瓶的另一个特征。 (英语) Zbl 1441.03029号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第34条,第13页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

Lightface \(\varPi^0_3\)-有效Wadge约化下密度集的完备性。 (英语) Zbl 1476.03054号

贝克曼,阿诺德(编辑)等人,《追求宇宙》。第十二届欧洲可计算性会议,2016年6月27日至7月1日,法国巴黎,CiE 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9709, 234-239 (2016).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

出版年份