|
题名:
|
智能程序助理侦破
/
于思著
,
|
|
ISBN:
|
7-80190-518-0
价格:
CNY25.00
|
|
语种:
|
chi
|
|
载体形态:
|
376页
22cm
|
|
出版发行:
|
出版地:
北京
出版社:
社会科学文献出版社
出版日期:
2005
|
|
内容提要:
|
本书将现代模态逻辑理论应用于刑事侦查工作的推理实践,用T系统的语义图方法来检验推理是否常真,结合案例作了大量的具体分析。
|
|
主题词:
|
计算机应用
刑事侦察
|
|
主题词:
|
计算机应用
|
|
主题词:
|
刑事侦察
|
|
中图分类法:
|
D918
版次:
4
|
|
主要责任者:
|
杨学菁
著
|
|
索书号:
|
5
|