×

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

Hao Wang的偏谓词演算及其允许蕴涵迭代的扩展。 (俄语。英文摘要) Zbl 1031.03053号

Karpenko,A.S.(编辑),《逻辑研究》。8.2001年5月在俄罗斯莫斯科举行的第三届国际会议《斯米尔诺夫的读物》的论文。莫斯科:瑙卡。26-37 (2001).
MSC公司:03B60号 03B50号
PDF格式BibTeX公司 XML格式引用

关于Krasnoselski和Ishikawa不动点定理的计算内容。 (英语) Zbl 0985.03048号

Blank,Jens(编辑)等人,分析中的可计算性和复杂性。第四届国际研讨会,CCA 2000。2000年9月17日至19日,英国斯旺西。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2064, 119-145 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型