1. 首页
  2. 行业
  3. 电子政务
  4. 内置谓词函数依赖及其推理规则

内置谓词函数依赖及其推理规则

上传者: 2020-11-17 00:57:16上传 PDF文件 505.52KB 热度 6次
描述了内置谓词的用法,里面含有大量的形式化推理,不是很明白,求共同探讨。
用户评论