基于機器學習的自動邏輯推理機。本程序用歸結(jié)反演策略實現(xiàn)了命題邏輯系統(tǒng)的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應用于聯(lián)合集，并推導出一個空子句(NIL)，產(chǎn)生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
GAL16V8反匯編源程序JED2ABEL.C 把jec匯編成abel文件
標簽： ABEL abel GAL 16V
上傳時間： 2013-11-29
上傳用戶：stewart·
動態(tài)聚類k-means演算 將輸入在程式中的數(shù)據(jù)資料 給予適當?shù)姆秩?/p>
標簽： k-means 程式 分
上傳時間： 2015-03-16
上傳用戶：離殤
用冪法與反冪法求矩陣的最大特征值及最小特征值
標簽： 特征 矩陣
上傳時間： 2015-03-17
上傳用戶：gaome
有關(guān)於oracle的一本基礎的PDF電子書
標簽： oracle
上傳時間： 2013-12-25
超級增強斷點源代碼!配合trw2000和sice 使用!可以調(diào)試一些反調(diào)試的外殼和程序! 用vc編譯
標簽： 2000 sice trw 調(diào)試
上傳時間： 2014-01-02
上傳用戶：CHINA526
： ASP的反編碼工具編碼程序步驟一：將程序的代碼拷貝到文本框中，然后選擇好類型，比如說 .asp的，html類型的文件是不需要編碼的，所以沒有任何改動。步驟二：將生成的代碼拷貝下來，保存好文件即可。編碼程序步驟一：將編碼過的程序代碼拷貝到文本框中，然后點《反編碼》即可出現(xiàn)源碼，然后將第一行的的代碼刪除即可。步驟二：Ctrl+c Ctrl+v ......
標簽： ASP 編碼 程序 代碼
上傳時間： 2015-03-19
上傳用戶：gundan
各種單片機反匯編工具包，現(xiàn)在用的人少了，但還是有用的東西，想用的就下吧
標簽： 單片機 反匯編 工具包
上傳時間： 2015-03-20
上傳用戶：a673761058
反匯編工具borg2.27源碼，文件齊全
標簽： borg 2.27 反匯編工具 源碼
上傳時間： 2013-12-08
上傳用戶：zhoujunzhen
單片機51系列測試串口的簡單程序反回輸入字符
標簽： 單片機 51系列 串口 測試
上傳時間： 2015-03-23
上傳用戶：sqq
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
