退出
我的积分:
中文文献批量获取
外文文献批量获取
邓楠轶; 张兴兴; 李永明;
陕西师范大学计算机科学学院;
广义可能性测度; 计算树逻辑; 不动点语义; 模型检测;
机译:基于广义可能性测度的定量计算树逻辑模型检查
机译:模型检查分级计算树逻辑,具有有限路径语义
机译:具有广义有限值语义的逻辑的无割普通后续计算
机译:属性广义树中的简单语义计算
机译:多值逻辑程序的基于知识的广义语义
机译:基于广义概率自动机的语义计算形式模型
机译:基于广义可能性度量的定量计算树逻辑模型检验
机译:逻辑程序的广义析取精心设计语义。
机译:从语法树计算语义逻辑形式的方法和系统
机译:从句法树计算语义逻辑形式的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。