返回检索首页
我的图书馆登录
书 名
作 者
分类号
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
记录
跳转: