退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过类似控制的约简从经典逻辑中提取构造内容
Franco Barbanera; Stefano Berardi;
机译:通过简化为Kleene逻辑证明具有部分函数的古典逻辑的定理
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:用构造逻辑提取数据流分析器
机译:表征古典理论的建设性含量的翻译
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:通过减少脂肪细胞分化减少细胞内中性脂质含量脂解作用脂肪酸交换和脂滴运动来降低草药提取物的降血脂作用
机译:依赖选择的构造证明,与经典逻辑兼容
机译:含有啤酒花或啤酒花麦芽提取物的化妆品和皮肤病学制剂,以及啤酒花或啤酒花麦芽提取物在制备化妆品和皮肤病学制剂中的用途,以减少皮肤皮脂含量
机译:适用于容器的建设性规定结合蛇纹石的使用以减少内容物沸点的时间
机译:制备酶处理Zizania Latifolia Turcz的方法。 提取有三胞苷含量增加的提取物,制备的美白,皱纹,抗炎,抗过敏和保湿组合物,由此制备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。