AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Gentzen式直觉继发演算的基于强制的切消
Herbelin Hugo; Lee Gyesik;
机译:半直觉逻辑的Gentzen式顺序演算
机译:具有扩展规则的构造的Gentzen式顺序演算
机译:使用克洛普(Klop)的l平移和永续归约法在后续演算中进行强切除
机译:Gentzen风格直觉后续演算的基于强制的消除
机译:后续微积分:计算和对偶的逻辑和语言
机译:直觉模糊循环和直觉模糊树
机译:Gentzen式直觉继发演算的基于强制的割除
机译:基于直觉模糊关系演算的低级视频细节跟踪
机译:牙科骨结石去除剂,PET动物的牙科骨结石去除方法,PET动物的牙科骨结石去除方法和PET动物的牙科骨结石去除方法的生产方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。