科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:命题投影时态逻辑与星的表现性
Tian Cong; Duan Zhenhua;
机译:命题投影时态逻辑与星的表达
机译:命题投影时态逻辑与星的复杂性
机译:命题投影时间逻辑有效决策程序
机译:命题投影时间逻辑规范挖掘
机译:模特量化和模态逻辑的比较
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:命题投影时态逻辑的概率模型检验
机译:时态逻辑编程是完整和富有表现力的
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:为使逻辑地址服务启动方法中需要应用逻辑的附加逻辑地址服务启动的逻辑地址服务启动方法,以及提供逻辑地址管理装置和应用执行装置的系统以及容纳该逻辑的存储介质地址
机译:时间逻辑表达生成装置和时间逻辑表达生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。