返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算机
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
出版社:"社会科学文献出版社"
出版年:"2005"
文献类型:
智能程序助理侦破
:于思
作者：
于思
出版社：
社会科学文献出版社
出版时间：
2005
ISBN：
7-80190-518-0
索书号：
D918.2/1060
分类号：
D918.2
页数：
376页
价格：
25.00
复本数：
在馆数：
累借天数：
累借次数：
本书将现代模态逻辑理论应用于刑事侦查工作的推理实践，用T系统的语义图方法来检验推理是否常真，结合案例作了大量的具体分析。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
社会科学文献出版社
(
1
)
只显示前10条......
社会科学文献出版社
(
1
)
查看更多信息......
作者
于思
(
1
)
只显示前10条......
于思
(
1
)
查看更多信息......
出版年
2005
(
1
)
只显示前10条......
2005
(
1
)
查看更多信息......
计算机
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：