科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:言语行为演算。一种语用化的自然演绎微积分及其元理论
Cordes Moritz; Reinmuth Friedrich;
机译:演算与自然演绎之间的又一个双射
机译:自然演绎中的完整Lambek微积分
机译:自然演绎中的Lambek微积分
机译:用于自然命题演算的自然演算演算中的证明搜索
机译:微积分干预的概念:测量学生对微积分的数学态度和成就。
机译:子宫结石:组织学检查由阿姆萨特(Amussat)博士于1829年获得证明它是钙化的肌瘤
机译:言语行为演算。实用的自然演绎演算及其元理论
机译:用于微积分的三维定位的方法和设备。
机译:包含海藻的口腔制剂,可减少斑块和钙质。
机译:漱口水和去除牙结石的过程。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。