×

找到24个文档（结果1-24）

最新的 引文 关联
罗德尼·G·唐尼。;Ng，Keng Meng女士;里德·所罗门

最小弱真值表度和可计算可枚举图灵度。 （英语） Zbl 1460.03002号

美国数学学会回忆录1284.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-4162-3/pbk；978-1-4740-6136-2/电子书）。vii，90页。(2020).
审核人：Patrizio Cintioli（喀麦隆）
MSC公司：03-02 03D25号 03D28号 03日30分
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Downey}等人，最小弱真值表度和可计算可枚举图灵度。普罗维登斯，RI:美国数学学会（AMS）（2020；Zbl 1460.03002）
全文： 内政部
泽维尔·戈奥克;帕维尔·帕塔克;祖扎纳州帕塔科娃;马丁·坦瑟;乌利瓦格纳

通过Betti数对Helly数进行定界。 （英语） Zbl 1390.52012年

Loebl，Martin（编辑）等人，《离散数学之旅》。向吉·马图舍克致敬。查姆：施普林格（ISBN 978-3-319-44478-9/hbk；978-3-3169-44479-6/电子书）。407-447 (2017).
审核人：Mircea Balaj（奥拉迪亚）
MSC公司：52A35型 55单位10
PDF格式BibTeX公司 XML格式引用
\textit{X.Goaoc}等人，《离散数学之旅》。向吉·马图舍克致敬。查姆：斯普林格。407--447（2017；Zbl 1390.52012）
全文： 内政部 链接
克劳斯Ambos-Spies

关于可计算可枚举集合的强有界图灵度。 （英语） Zbl 1485.03145号

Day，Adam（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10010, 563-598 (2017).
MSC公司：03D25号 03D28号 03C57号
PDF格式BibTeX公司 XML格式引用
\textit{K.Ambos-Spies}，莱克特。注释计算。科学。10010、563--598（2017；Zbl 1485.03145）
全文： 内政部
马丁·卡德克;马雷克·克查尔;吉·马图舍克;弗朗西斯·谢尔盖拉特;沃克·内克，卢卡什;乌利瓦格纳

将所有贴图计算到一个球体中。 （英语） Zbl 1421.68162号

Rabani，Yuval（编辑），第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1-10 (2012).
MSC公司：68单位05 2005年第55季度 68瓦05
PDF格式BibTeX公司 XML格式引用
\textit{M.Cadek}等人，in：第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1-10（2012年；Zbl 1421.68162）
全文： arXiv公司 链接
大卫·R·贝朗格。

具有一些强可还原性的结构。 （英语） Zbl 1268.03052号

Ambos-Spies，Klaus（编辑）等人，《数学理论与计算实践》。2009年7月19日至24日，德国海德堡，第五届欧洲可计算性会议，CiE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03072-7/pbk）。《计算机科学讲义》5635，21-30（2009）。
MSC公司：03日30分
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Bélanger}，莱克特。注释计算。科学。5635，21-30（2009；Zbl 1268.03052）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

软件