...
机译:可计算性理论紧凑性和非标准分析的强度
Univ Oslo Dept Math Oslo Norway;
Univ Leeds Leeds W Yorkshire England;
Nonstandard Analysis; Higher-order computability theory; Higher-order arithmetic; Fan functionals;
机译:可计算性理论紧凑性和非标准分析的强度
机译:可计算性理论,非标准分析及其联系
机译:X射线计算机断层扫描和分形分析,用于评估自密实轻质混凝土的抗偏析性,强度响应和加速腐蚀行为
机译:从非标准分析到可计算性理论的各种形式
机译:使用OCLC / AMIGOS馆藏分析光盘对美国研究图书馆协会和在线计算机图书馆中心以及德克萨斯州大学图书馆的馆藏发展模式进行纵向研究,以评估1985--1995年的优势,劣势和重叠情况。
机译:基于定量计算机层析成像的股骨强度和刚度的有限元分析预测取决于计算机层析成像设置
机译:可计算性理论紧凑性和非标准分析的强度