同类推荐
-
-
国产龙虾实操手册:12款OpenClaw国产AI工具零…
-
¥49.80
-
-
人工智能数学基础
-
¥159.90
-
-
人工智能数学基础
-
¥159.90
-
-
人工智能数学基础
-
¥159.90
-
-
大模型边缘推理系统设计：模型压缩、推理优化与跨平台部署
-
¥89.90
-
-
大模型边缘推理系统设计：模型压缩、推理优化与跨平台部署
-
¥89.90
-
-
大模型边缘推理系统设计：模型压缩、推理优化与跨平台部署
-
¥89.90
-
-
Claude Code技术架构深度解析:Harness…
-
¥89.80
-
-
Claude Code技术架构深度解析:Harness…
-
¥89.80
-
-
Claude Code技术架构深度解析:Harness…
-
¥89.80
|
|
图书信息
|
|
|
|
自动推理与智能规划:算法设计与复杂性分析
|
| ISBN： | 9787206099373 |
定价： | ￥35.00 |
| 作者： | 殷明浩，周俊萍，袁利永著 |
出版社： | 吉林人民出版社 |
| 出版时间： | 2013年01月 |
开本： | 26cm |
| 页数： | 243页 |
中图法： | TP181 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
12
|
|
2026-06-18
|
图书简介 | | 本书介绍了计算复杂性理论简介、SAT问题基础与基本算法、SAT问题的隐藏结构、SAT问题算法分析、SAT相变、智能规划问题与基本方法、智能规划启发函数的修正、基于相关分析的剪枝策略等内容。 |
|