| 暂存书架(0) | 登录



MARC状态：审校 文献类型：中文图书 浏览次数：26

题名/责任者:
智能程序助理侦破/于思著
出版发行项:
北京:社会科学文献出版社,2005
ISBN及定价:
7-80190-518-0/CNY25.00
载体形态项:
376页;22cm
并列正题名:
The Logic Program for Solving Cases
丛编项:
刑侦半自动化丛书
个人责任者:
杨学菁 (政法教师) 著
学科主题:
计算机应用-刑事侦察-研究
学科主题:
计算机应用
学科主题:
刑事侦察
中图法分类号:
D918.2
提要文摘附注:
本书将现代模态逻辑理论应用于刑事侦查工作的推理实践，用T系统的语义图方法来检验推理是否常真，结合案例作了大量的具体分析。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
D918.2/4794 06000808312  - 雨花密集存本库     阅览
D918.2/4794 06000808310  - 雨花文理科     可借
D918.2/4794 06000808311  - 雨花文理科     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架