智慧型程式助理偵破

作者： 叢 名：刑偵半自動化叢書出

圖書信息

作　者： 于思 著

叢 書 名：刑偵半自動化叢書出 版 社： 社會科學文獻出版社ISBN：9787801905185出版時間：2005-04-01版　次：1頁　數：376裝　幀：平裝開　本：所屬分類：圖書 > 法律 > 司法制度

內容簡介

刑偵半自動化叢書的適用範圍：科學院軟體研究所、計算機研究所及情報研究所，公安局、檢察院、法院等司法機關，高校法律系、計算機系，自動化及不同語種機器翻譯研究單位，國家安全部門等。
本書論述了求解推理式必然真結論惟一的理論工具和可靠便捷的檢驗方法，據此設計了偵破大案要案的智慧型邏輯程式模式，為設計智慧型軟體提供了惟一的理論根據，也以智慧型化破案的邏輯程式模式為刑偵人員指出高質量、高速度破案的科學途徑和手段。