退出
我的积分:
中文文献批量获取
外文文献批量获取
刘婷; 徐扬; 陈秀兰;
西南交通大学系统可信性自动验证国家地方联合工程实验室 成都 610031;
命题逻辑; 可满足性; 冗余文字; 负文字; 冗余子句;
机译:命题逻辑中子句集的冗余
机译:连接子句中的请求表达式:并行子句和补充子句
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:Horn子句命题逻辑的Petri网模型中的证明程序和公理集
机译:Wixárika(Huichol)中的子句类型和及物性:一种乌兹别克斯坦语
机译:建立和访问子句表示形式:第一提到的优势与子句新近的优势
机译:在具有唯一性传播的子句中标识非冗余文字
机译:实现一个确定的子句语法来解析表面语法
机译:子句分类设备,子句分类方法,以及子句分类计划
机译:人类语言分析器,用于检测子句,子句类型和子句关系
机译:电子句子浏览设备,电子句子浏览方法,电子句子浏览程序和移动电话
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。