退出
我的积分:
中文文献批量获取
外文文献批量获取
李晟;
四川师范大学逻辑与信息研究所,成都610068;
公理化; 真理论; 弱组合性; 无类型;
机译:核心CML的弱双仿真理论
机译:弱D类型1.1代表了弱D基因分型的另一种复杂性。
机译:错误到:<重点类型=“斜体”> B Emphasis> <重点类型=“斜体”> c forphasis> subscript> + superscript> < /堆栈>衰减到<重点类型=“斜体”> k fephasis> superscript> <重点类型=“italic”> k fephasis> ? superscript> <强调 键入=“斜体”>π重点> + superscript>最终状态通过使用 b fephasis> s fephasis> subscript> 0 superscript> stack>,χ重点> <重点类型=“斜体”> c 重点 > 0 subscript>和<重点类型=“斜体”> d forphasis> 0 superscript>谐振和弱湮灭非人拓扑拓
机译:在BCCSP上公理化弱就绪仿真语义
机译:一种使用弱粘性-无粘性相互作用法进行旋转叶片空气动力学分析的算法。
机译:QualComp:一种基于速率失真理论的新型有损压缩机用于质量得分
机译:核心CML的弱双仿真理论(并发理论和应用'96)
机译:“扭曲结构建模” - 一种快速失真理论的物理方法
机译:通过两种无涂层或弱自动类型的纸张进行打印的方法
机译:互锁的无砂浆砌块-一种类型,侧面安装有三角形截面的凹槽,另一种类型
机译:一种改进的制备粒状桩的方法,该桩用于加固弱土并提供牢固的无沉降基础
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。