退出
我的积分:
中文文献批量获取
外文文献批量获取
王平; 沈云付; 陈牧之;
上海大学计算机工程与科学学院;
模型检测; 命题μ演算; Kripke结构; 有穷系统; 状态爆炸;
机译:适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
机译:命题演算中的重言式验证的计算算法
机译:用于自然命题演算的自然演算演算中的证明搜索
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:大树基于似然性的系统发生演算法的算法数据结构和数值
机译:命题演算中许多子句不一致检查算法
机译:命题演算声明转换为整数和混合整数规划:一种自动重构的方法。
机译:使用约束演算分析验证系统行为的逻辑,算术和时序依赖性的系统和方法
机译:一种使用约束演算分析来验证系统行为的逻辑,算术和时序依赖性的系统和方法
机译:基于分析仪的控制系统和算法的开发设计与实现
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。