基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
GAL16V8反匯編源程序JED2ABEL.C 把jec匯編成abel文件
標簽： ABEL abel GAL 16V
上傳時間： 2013-11-29
上傳用戶：stewart·
用冪法與反冪法求矩陣的最大特征值及最小特征值
標簽： 特征 矩陣
上傳時間： 2015-03-17
上傳用戶：gaome
超級增強斷點源代碼!配合trw2000和sice 使用!可以調試一些反調試的外殼和程序! 用vc編譯
標簽： 2000 sice trw 調試
上傳時間： 2014-01-02
上傳用戶：CHINA526
： ASP的反編碼工具編碼程序步驟一：將程序的代碼拷貝到文本框中，然后選擇好類型，比如說 .asp的，html類型的文件是不需要編碼的，所以沒有任何改動。步驟二：將生成的代碼拷貝下來，保存好文件即可。編碼程序步驟一：將編碼過的程序代碼拷貝到文本框中，然后點《反編碼》即可出現源碼，然后將第一行的的代碼刪除即可。步驟二：Ctrl+c Ctrl+v ......
標簽： ASP 編碼 程序 代碼
上傳時間： 2015-03-19
上傳用戶：gundan
各種單片機反匯編工具包，現在用的人少了，但還是有用的東西，想用的就下吧
標簽： 單片機 反匯編 工具包
上傳時間： 2015-03-20
上傳用戶：a673761058
反匯編工具borg2.27源碼，文件齊全
標簽： borg 2.27 反匯編工具 源碼
上傳時間： 2013-12-08
上傳用戶：zhoujunzhen
單片機51系列測試串口的簡單程序反回輸入字符
標簽： 單片機 51系列 串口 測試
上傳時間： 2015-03-23
上傳用戶：sqq
把zip該為doc即可..本文件為病毒反匯編程序,
標簽： zip 病毒 反匯編
上傳時間： 2013-12-21
上傳用戶：xzt
轉載一份有關M68K反匯編C語言源代碼， 需要自行編譯。
標簽： M68K C語言 反匯編 源代碼
上傳時間： 2015-03-25
上傳用戶：songnanhua
蟲蟲下載站版權所有 京ICP備2021023401號-1
<nav id="sq8oi"></nav>
