退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:无星星的图片表达比一阶逻辑严格更弱
Thomas Wilke;
机译:沟通有限状态机,一阶逻辑和无星际命题动态逻辑
机译:关于模态逻辑和无星正则表达式的可表达性问题的注释
机译:一阶逻辑中量词结构层次的严格性
机译:无星形图片表达式严格弱于一阶逻辑
机译:N蝴蝶:对严格N群的弱态进行建模
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:一阶逻辑和无星集
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:在LSI逻辑设计中修改逻辑表达的方法和装置,以及在LSI逻辑设计中修改逻辑表达程序的记录介质
机译:为了同时获得精确的取景,通过单个物镜将胶片严格记录在胶片上和图像的电子传输中进行改进
机译:无限制一阶逻辑的自动证明方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。