返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算
共有
2
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
出版社:"首都经济贸易大学出版社"
出版年:"20210101"
基于时序逻辑的Resolution自动定理证明方法
:章岚
作者：
章岚
出版社：
首都经济贸易大学出版社
出版时间：
20210101
ISBN：
978-7-5638-3266-8
索书号：
TP301.6/271
分类号：
TP301.6
页数：
225页
价格：
CNY55.00
复本数：
在馆数：
累借天数：
累借次数：
本书主要聚焦Resolution算法在时序逻辑领域的研究, 介绍了把Resolution算法从表达能力较弱的时序逻辑逐渐向表达能力较强的时序逻辑进行拓展和优化的研究成果。
详细信息
索书号
展开
最优化视角下复杂网络挖掘模型与决策方法
:江成
作者：
江成
出版社：
首都经济贸易大学出版社
出版时间：
20210101
ISBN：
978-7-5638-3277-4
索书号：
TP393.021/3
分类号：
TP393.021
页数：
176页
价格：
CNY49.00
复本数：
在馆数：
累借天数：
累借次数：
本书立足于复杂网络理论, 从网络节点层面、链路层面和整个网络层面多个视角, 对无向网络、有向网络、无权网络、有权网络、静态网络和动态网络进行针对性分析, 建立用于网络关键节点群组挖掘、链路预测, 以及网络分类和动态演化模型和算法, 并结合社交网络、通信网络和犯罪组织网络等真实案例进行应用分析, 通过算例实证分析展现这些模型方法在实际管理中的决策支持作用。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
出版社
首都经济贸易大学出版社
(
2
)
只显示前10条......
首都经济贸易大学出版社
(
2
)
查看更多信息......
作者
江成
(
1
)
章岚
(
1
)
只显示前10条......
江成
(
1
)
章岚
(
1
)
查看更多信息......
出版年
20210101
(
2
)
只显示前10条......
20210101
(
2
)
查看更多信息......
计算
共有
2
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：