×

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

保守近似函数。 (英语) Zbl 1437.03176号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 387-400 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

等价关系的共尾族和生成它们的Borel理想。 (英语。俄文原件) Zbl 1351.37015号

程序。Steklov Inst.数学。 252, 85-103 (2006); 翻译自Tr.Mat.Inst.Steklova 252,94-113(2006)。
MSC公司:37A20型 03E15年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份