ISBN/价格: | 7-80190-518-0:CNY25.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 智能程序助理侦破/.于思著 |
出版发行项: | 北京:,社会科学文献出版社:,2005 |
载体形态项: | 376页:;+22cm |
丛编项: | 刑侦半自动化丛书 |
提要文摘: | 本书将现代模态逻辑理论应用于刑事侦查工作的推理实践,用T系统的语义图方法来检验推理是否常真,结合案例作了大量的具体分析。 |
并列题名: | The Logic Program for Solving Cases eng |
题名主题: | 计算机应用 刑事侦察 研究 |
题名主题: | 计算机应用 |
题名主题: | 刑事侦察 |
中图分类: | D918 |
个人名称等同: | 杨学菁 (政法教师) 著 |
记录来源: | CN LCTBU 20060320 |