基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
GAL16V8反匯編源程序JED2ABEL.C 把jec匯編成abel文件
標簽： ABEL abel GAL 16V
上傳時間： 2013-11-29
上傳用戶：stewart·
動態聚類k-means演算 將輸入在程式中的數據資料 給予適當的分群
標簽： k-means 程式 分
上傳時間： 2015-03-16
上傳用戶：離殤
用冪法與反冪法求矩陣的最大特征值及最小特征值
標簽： 特征 矩陣
上傳時間： 2015-03-17
上傳用戶：gaome
有關於oracle的一本基礎的PDF電子書
標簽： oracle
上傳時間： 2013-12-25
日立SH-2 CPU核的VERLOG源碼，可在ISE6上綜合，有說明文檔
標簽： VERLOG CPU SH 日立
上傳用戶：開懷常笑
超級增強斷點源代碼!配合trw2000和sice 使用!可以調試一些反調試的外殼和程序! 用vc編譯
標簽： 2000 sice trw 調試
上傳時間： 2014-01-02
上傳用戶：CHINA526
： ASP的反編碼工具編碼程序步驟一：將程序的代碼拷貝到文本框中，然后選擇好類型，比如說 .asp的，html類型的文件是不需要編碼的，所以沒有任何改動。步驟二：將生成的代碼拷貝下來，保存好文件即可。編碼程序步驟一：將編碼過的程序代碼拷貝到文本框中，然后點《反編碼》即可出現源碼，然后將第一行的的代碼刪除即可。步驟二：Ctrl+c Ctrl+v ......
標簽： ASP 編碼 程序 代碼
上傳時間： 2015-03-19
上傳用戶：gundan
介紹了一種在DSP 仿真環境下,采用C 語言對FLA SH 進行在系統編程( ISP)的 方法,同時介紹了TM S320VC5402 的Boo t loader 原理,給出了DSP 的并行FLA SH 引導功能實現 方案,并且給出了一個簡單的測試實例
標簽： DSP FLA loader 5402
上傳時間： 2014-10-12
上傳用戶：caixiaoxu26
各種單片機反匯編工具包，現在用的人少了，但還是有用的東西，想用的就下吧
標簽： 單片機 反匯編 工具包
上傳時間： 2015-03-20
上傳用戶：a673761058
蟲蟲下載站版權所有 京ICP備2021023401號-1
