×

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

在没有超免疫分支的树上。 (英语) Zbl 07627932号

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

超免疫自由度的计算方面。 (英语) Zbl 1364.03054号

Downey,Rod(编辑)等人,《第十二届亚洲逻辑会议论文集》,新西兰惠灵顿,2011年12月15-20日。新泽西州哈肯萨克:世界科学(ISBN 978-981-4449-26-7/hbk;978-981-4449-28-1/电子书)。271-284 (2013).
MSC公司:03日第10天 03D28号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

弱可计算实数的度数。 (英语) Zbl 1145.68420号

Beckmann,Arnold(编辑)等人,《计算障碍的逻辑方法》。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议,CiE 2006。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35466-2/pbk)。《计算机科学讲义》3988、413-422(2006年)。
MSC公司:2005年第68季度 03D25号 03D45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段