基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
相信有很多朋友遇到這樣的問題,本來能在線下載lpc932,可下載自己的程序后,發現再也不能下載了,這是因為系統無法進入在線編程了,只能用CP932重新燒寫,那時很麻煩的,把本段程序放在你程序里就可以解決問題了.
標簽： 932 程序 lpc
上傳時間： 2015-03-09
上傳用戶：chfanjiang
WinAsm32的確是一本好的教材,不管你是初學者,還是高手,都能從它里面學到很多的東西.
標簽： WinAsm 32 教材 初學者
上傳用戶：ruixue198909
Win32匯編編程系列 本幫助文件由yyc個人整理后出版，內容全摘自網絡。版權歸實際作者所有。 為了讓網友們能更好的學習Win32匯編編程，于是我為大家將網上的資料整理成一個幫助文件。 本幫助文件包括：Iczelion的Win32匯編教程、Iczelion 的 ODBC 教程、Iczelion 的 VxD 教程共三部分
標簽： Win yyc 32 匯編
上傳用戶：qb1993225
一本關于VFP的EBOOK，比較好。
標簽： EBOOK VFP
上傳用戶：tzl1975
關于jsp開發的一本不可多得的好書
標簽： jsp
上傳時間： 2014-11-03
上傳用戶：wweqas
一本了解計算機網絡安全的書籍，供參考和學習用
標簽： 計算機 網絡安全 書籍
上傳時間： 2013-12-17
上傳用戶：trepb001
學習j2ee的一本好書
標簽： j2ee
上傳用戶：zuozuo1215
本銀行系統涉及到多線程，Socket編程，和Singleton設計模式。源瑪注釋齊全，有說明文檔，并附開發過程的UML設計圖。僅供學習參考，望多多指教。
標簽： 多線程
上傳時間： 2015-03-10
上傳用戶：dianxin61
一本bios的手冊,經典的東西.
標簽： bios
上傳用戶：qweqweqwe
蟲蟲下載站版權所有 京ICP備2021023401號-1
