|国家科技期刊平台
| 注册
首页|期刊导航|广东工学院学报|一个约束逻辑的消解原理

一个约束逻辑的消解原理

何翠红

广东工学院学报1996，Vol.13Issue(4)：P.64-70,7.
✕
广东工学院学报1996，Vol.13Issue(4)：P.64-70,7.

一个约束逻辑的消解原理

何翠红1

作者信息

  • 1. 广东工业大学计算机科学与工程系
  • 折叠

摘要

关键词

量词限定/约束逻辑/消解原理/推广规则/谓词逻辑

分类

数理科学

引用本文复制引用

何翠红..一个约束逻辑的消解原理[J].广东工学院学报,1996,13(4):P.64-70,7.

广东工学院学报

1000-887X

访问量0
|
下载量0
段落导航相关论文