作者	于思
出版社
出版时间	2005-04-01

特色：

刑侦半自动化丛书的适用范围：科学院软件研究所、计算机研究所及情报研究所，公安局、检察院、法院等司法机关，高校法律系、计算机系，自动化及不同语种机器翻译研究单位，国家安全部门等。　　本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法，据此设计了侦破大案要案的智能逻辑程序模式，为设计智能软件提供了惟一的理论根据，也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。