欢迎来到虫虫开发者社区 — 百万工程师技术资源
关于我们
网站地图
登录
注册
虫
虫虫开发者社区
首页
资源下载
资源专辑
热门软件
精品资源
电子书
上传资源
首页
›
资源下载
›
其他书籍
›
一阶谓词逻辑
一阶谓词逻辑
其他书籍
500 K
113 次下载
2014-01-05
资源详细信息
文件格式
RAR
文件大小
500 K
资源分类
其他书籍
上传者
spy0207
发布时间
2014-01-05 06:35
下载统计
113
次
所需积分
2 积分
一阶谓词逻辑 - 资源详细说明
一阶谓词逻辑,详细讲述一阶谓词逻辑,是现在语义网semanticweb的基础
一阶谓词逻辑 - 源码文件列表
本资源包含 1 个源码文件
支持在线预览,点击文件名即可查看
1
一阶谓词逻辑.pdf
查看源码
温馨提示:
点击文件名或"查看源码"按钮可在线浏览源代码,支持语法高亮显示。
立即下载 一阶谓词逻辑
立即下载
提示:下载后请用压缩软件解压,推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
本资源需消耗
2积分
24小时内重复下载不扣分
支持断点续传功能
资源永久有效可用
使用说明
下载后使用解压软件解压
推荐使用 WinRAR 或 7-Zip
如有密码请查看资源说明
解压后即可正常使用
积分获取方式
上传优质资源获得积分
每日签到免费领取积分
邀请好友注册获得奖励
查看详情 →
相关技术标签
点击标签浏览更多相关其他书籍资源:
#一阶谓词逻辑
#语义网
#人工智能
相关其他书籍资源推荐
1
一阶谓词逻辑
一阶谓词逻辑,详细讲述一阶谓词逻辑,是现在语义网semanticweb的基础...
2014-01-05
113 次
1051 浏览
2
离散数学中---------一阶谓词演算源代码
离散数学中---------一阶谓词演算源代码...
2015-12-17
54 次
1057 浏览
3
一个介绍谓词的讲义
一个介绍谓词的讲义,非常清晰明了,适合初学者自学...
2014-01-13
177 次
1047 浏览
4
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Go...
2014-11-26
37 次
1096 浏览
5
人工智能
专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图
人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图...
2013-12-18
84 次
1123 浏览
6
安全协议一阶逻辑模型中攻击重构的实现
针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,对安全协议一阶逻辑模型进行扩展,对逻辑推理中的规则及合一化操作进行分类,给出操作置换规则,在此基础上开发能对攻击进行重构的协议验证原型...
2024-01-09
5 次
473 浏览
7
数字电路第一章:与、或、非逻辑关系 复合逻辑关系 逻辑关系的描述
数字电路第一章:与、或、非逻辑关系 复合逻辑关系 逻辑关系的描述...
2015-09-29
109 次
1085 浏览
8
CMOS逻辑门
关于实验的一些基本描述和一些注意事项,以及实验所需的电路图...
2021-11-01
0 次
137 浏览
9
硬件逻辑
讲述从硬件到硬件语言的设计,是学习verlog语言的最佳技术书籍,有兴趣可以观看...
2023-11-06
1 次
9184 浏览
10
模糊逻辑
模糊逻辑理论基础PPT,为硕士研究生模糊逻辑课程的课件,入门经典...
2025-04-25
3 次
1551 浏览
用户登录
登录后可下载更多技术资源
×
加载中...
加载登录表单中...
用户注册
送10积分
加入工程师资源平台
×
加载中...
加载注册表单中...
找回密码
通过邮箱重置您的账号密码
×
加载中...
加载表单中...
需要登录
登录后即可使用更多功能
×
新用户注册即送10积分,可用于下载资源
👋
退出登录
确认要退出当前账号吗?
×
退出后需要重新登录才能下载资源