谓词公式的永真性和可满足性
置换与合一
谓词公式与子句集
消解推理规则
消解反演求解过程
规则正向演绎系统
规则逆向演绎系统
产生式系统
不确定性推理
非单调推理
2022-03-15 20:46:57
9.8MB
1
电路-邱关源 四版
学电气的话，那最好选邱关源的，因为那本的理论讲的比较深
如果你是学电子或者自动化之类的话，就选后者，那本书更简明一点
如果你是研究生以上，那就选邱关源
2022-03-14 22:09:36
89B
1
C程序设计（第四版）PPT，全.第1章 程序设计和C语言.第2章 算法---程序的灵魂.第3章 最简单的C程序设计......希望对您有帮助
2022-03-14 19:19:54
4.69MB
1
掌握使用request对象处理请求
掌握使用response对象处理响应
掌握使用session对象管理用户数据
掌握在Java Web应用中实现数据库操作
掌握使用控制页简化页面结构
2022-03-13 20:59:12
1.17MB
1
Modern.Operating.Systems.4th现代操作系统第四版，英文版，pdf格式，清晰文字版
2022-03-13 20:58:35
6.25MB
1