退出
我的积分:
中文文献批量获取
外文文献批量获取
林楠; 张翼(图);
不详;
同尘设计工作室;
舍未工作室;
设计工作室; 大木作; 中国古文; 学识渊博; 倾听者; 解释性; 建筑学; 理工科;
机译:关于多值和模糊逻辑中的经典真理和经典演绎性的保留
机译:走向经典的经典自然演绎系统
机译:自然演绎中的新S4经典模态逻辑
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:在开始,在目前,在未来,一个梦想意识到,瑜伽治疗什么时候成为“田野?”,沿着道路:瑜伽治疗未来,回望期待着
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:利用研发环境信息进行未来信号和问题演绎的系统和方法
机译:通过使用经典量子物理学和统计原理确定个人资料的数据操纵来预测未来的行为
机译:用于筛选经典猪瘟病毒活标记疫苗株和经典猪瘟病毒野生株感染的猪中抗体的筛选试剂盒,以及使用该试剂盒的筛选方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。