基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(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
Wsh, "Web Shell" - 遠程控制UNIX/WIN SHELL，它基于HTTP/HTTPS協議，此軟件包含兩個分別對應其客戶端/服務器端的PERL腳本和一個服務端C語言程序。客戶端腳本與控制臺終端用法相似。服務器端僅以一個CGI腳本的形式出現在目標（受控）主機上。
標簽： Shell SHELL UNIX Wsh
上傳用戶：stewart·
一本關于VFP的EBOOK，比較好。
標簽： EBOOK VFP
上傳用戶：tzl1975
linux 與unix shell編程指南
標簽： linux shell unix 編程指南
上傳用戶：wqxstar
關于jsp開發的一本不可多得的好書
標簽： jsp
上傳時間： 2014-11-03
上傳用戶：wweqas
一本了解計算機網絡安全的書籍，供參考和學習用
標簽： 計算機 網絡安全 書籍
上傳時間： 2013-12-17
上傳用戶：trepb001
學習j2ee的一本好書
標簽： j2ee
上傳用戶：zuozuo1215
蟲蟲下載站版權所有 京ICP備2021023401號-1
