退出
我的积分:
中文文献批量获取
外文文献批量获取
沈一栋;
词法分析;
机译:条件项重写系统中Horn子句归纳定理的自动证明
机译:Horn子句验证中的约束专业化
机译:Horn子句逻辑中解析和生产率的操作语义
机译:PARTHENON:非Horn子句的并行定理证明者
机译:使用horn子句和二进制决策图进行程序分析。
机译:建立和访问子句表示形式:第一提到的优势与子句新近的优势
机译:使用线性Horn子句求解器求解非线性Horn子句
机译:使用Horn子句在语义表示之间进行映射
机译:动态检测和删除sat中的非活动子句并在图像计算中的应用
机译:子句分类设备,子句分类方法,以及子句分类计划
机译:人类语言分析器,用于检测子句,子句类型和子句关系
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。