退出
我的积分:
中文文献批量获取
外文文献批量获取
杨苍洲;
三角函数; 命题趋势; 定义; “过程与方法”; 高考试题; 设计背景; 本质问题; 单位圆;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:关于ORF1编码区的新见解支持了一种新的命题,其中包括节肢动物科中的节肢动物病毒
机译:命题证明复杂性的一种新的权衡。
机译:概率命题逻辑中的命题运算和命题之间的关系
机译:命题证明复杂性的新分离。
机译:新细菌的基于序列的识别:创建一个孤儿细菌存储库的命题。
机译:三角函数:高中入学命题的senx,cosx和tgx研究
机译:确定命题公式不满意性的一种好算法
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
机译:旅行计划命题装置和旅行计划的旅行计划命题装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。