退出
我的积分:
中文文献批量获取
外文文献批量获取
周浩;
巴黎第一大学哲学院;
法国巴黎75005;
先天综合; 算术命题; 皮亚诺公理; 数学归纳法;
机译:通过超链接增强检索:基于命题论证系统的通用模型
机译:关于算术理论与命题证明系统之间的对应关系
机译:先天性肾病综合征感染新生儿中人巨细胞病毒的横断面研究探索疾病特征和系统发育性质
机译:在命题论证下建模非单调性质
机译:土壤有机碳,水力 - 物理性质,孔隙结构和综合作物畜牧系统下的温室气体助气
机译:对85篇系统评价的解释性分析表明叙事综合和元分析在论证上是不相称的
机译:系列博世系统鲁棒性和综合运行的论证。
机译:遗传特征,遗传和先天综合症以及发育异常的诊断和识别系统
机译:代谢综合征改善信息算术系统,该系统的程序以及以此记录的程序记录介质
机译:算术手段,综合仿真系统和同步控制方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。