命題邏輯的求解器,2004年SAT競賽第一名的求解器
資源簡介:命題邏輯的求解器,2004年SAT競賽第一名的求解器
上傳時間: 2013-12-16
上傳用戶:gundamwzc
資源簡介:2004年高級程序員下午的試題,有利于準備參加考試的同志。
上傳時間: 2014-01-21
上傳用戶:zq70996813
資源簡介:小靈通的api開發代碼。是在2004年給網通公司的增值業務做的,希望站長可以喜歡,友不足,多給意見
上傳時間: 2014-01-23
上傳用戶:從此走出陰霾
資源簡介:2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全國數學建模大賽的題目(B題)。現將題目,建模過程及利用“多元線性回歸和人工神經網絡”解題的源代碼上傳給大家一起分享。
上傳時間: 2014-01-08
上傳用戶:youth25
資源簡介:<JavaScript:The Good Parts>全英文版,O Reilly出品,必屬精品,該書的英文版是2008年5月才出版的,此為對應的chm文檔,支持目錄索引和搜索功能.目錄如下:Syntax/Objects/Functions/Inheritance/Arrays/Regular expressions/Methods/Style/Beautiful features
上傳時間: 2013-12-15
上傳用戶:sjyy1001
資源簡介:國內知名的旅行網站2008年5月所做的競爭對手網站分析報告,頗具商業價值,對在線預訂行業具有決策性參考價值.
上傳時間: 2016-10-06
上傳用戶:xuanchangri
資源簡介:其中:ClientInfor.inf 文件: 第一行的數據表示: 客戶端游戲版本號 第一行的數據表示: 更新文件存放的網絡路徑 UpdateInfor.inf文件: 第一行的數據表示: 最新游戲版本號 第二行的數據表示: 有多少文件需要更新 后面每行的數據表示: 需要更...
上傳時間: 2013-12-24
上傳用戶:hanli8870
資源簡介:世界編程大賽第一名的作品~~~~匯編雖然很難懂卻也給帶來興趣。。如這作品實現一個跑步的人
上傳時間: 2014-01-03
上傳用戶:cx111111
資源簡介:命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理,但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論,這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法,可以完全脫離人的經驗和技巧,...
上傳時間: 2013-12-31
上傳用戶:wxhwjf
資源簡介:傳感器與執行器大全 2003-2004年卷
上傳時間: 2013-07-06
上傳用戶:eeworm
資源簡介:專輯類----傳感器專輯 傳感器與執行器大全-2003-2004年卷-806頁-39.2M.rar
上傳時間: 2013-06-13
上傳用戶:小寶愛考拉
資源簡介:專輯類-傳感器專輯-87冊-901M 傳感器與執行器大全-2003-2004年卷-806頁-39.2M.pdf
上傳時間: 2013-07-14
上傳用戶:wanqunsheng
資源簡介:在2004年數學建模時所編的優化算法
上傳時間: 2015-03-02
上傳用戶:libenshu01
資源簡介:基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題,其目標公式被否定并化成子句形,然后添加到命題公式集中去,把消解反演系統應用于聯合集,并推導出一個空子句(NIL),產生一個矛盾。
上傳時間: 2013-11-30
上傳用戶:GavinNeko
資源簡介:2004年的高級程序員考試的試卷,有利于準備參加考試的同志。
上傳時間: 2014-09-04
上傳用戶:黃華強
資源簡介:2004年高級程序員的答案,和先前發的配套,供有興趣的同志參考。
上傳時間: 2014-02-24
上傳用戶:zhangliming420
資源簡介:程序員2004年考試題目與答案,希望能給要考的同志帶來幫助.
上傳時間: 2013-12-12
上傳用戶:cainaifa
資源簡介:JSCC的2004年的研究報告,這個報告寫得很全面,為我們下一步的工作很有指導意義
上傳時間: 2013-12-01
上傳用戶:宋桃子
資源簡介:2004年出版的遺傳算法Wiley.Interscience.Practical.Genetic.Algorithms.May.2004.eBook-LinG.pdf
上傳時間: 2015-05-16
上傳用戶:15736969615
資源簡介:2004年我的畢業設計,有軟件工程思想,希望大家借鑒
上傳時間: 2014-01-02
上傳用戶:ukuk
資源簡介:Foxmail 5遠程緩沖區溢出漏洞 注:本文是2004年2月xfocus成員在內部技術交流中提出的,在此之前,啟明星辰技術人員已經發現這一漏洞,但未公開細節,xfocus成員聽說存在這一漏洞后對Foxmail進行分析,并寫出利用代碼。 測試環境:win2k sp4+foxmail 5.0.300...
上傳時間: 2013-12-26
上傳用戶:thinode
資源簡介:通過這次上機考試(2004年4月)以及從各大論壇上考生朋友們所抽取的上機題來看,所有的上機考試題全來自南開100題,但網上所流傳的以及正式書本上的解法也有不少的錯誤,因此也誤導了一些基礎不深的朋友們,為此我將2004年版南開100題中所有的題都在無憂2004...
上傳時間: 2013-12-06
上傳用戶:shinesyh
資源簡介:C 語言常見問題集本文從英文C–FAQ (2004 年7 月3 日修訂版) 翻譯而來。本文的中文版權為 朱群英和孫云所有。很好的一個資料。
上傳時間: 2013-12-03
上傳用戶:123啊
資源簡介:iso_13818-1_amend_3_(03-2004).pdf 2004年的標準修訂
上傳時間: 2014-01-09
上傳用戶:cazjing
資源簡介:命題邏輯中的歸結推理系統設計與實現用C++實現
上傳時間: 2014-01-10
上傳用戶:VRMMO
資源簡介:2004年4月20日最新版本的GCC編譯器3.4.0發布了。目前,GCC可以用來編譯C/C++、FORTRAN、JAVA、OBJC、ADA等語言的程序,可根據需要選擇安裝支持的語言。GCC 3.4.0比以前版本更好地支持了C++標準。本文以在Redhat Linux上安裝GCC3.4.0為例,介紹了GCC的安裝過程
上傳時間: 2015-10-05
上傳用戶:拔絲土豆
資源簡介:命題邏輯中的歸結推理系統設計與實現,人工智能實習項目,包括實驗報告
上傳時間: 2015-10-30
上傳用戶:love1314
資源簡介:2004 年 arm 大會的討論論文集,值得關注
上傳時間: 2014-01-27
上傳用戶:waizhang
資源簡介:北大程序設計課程2004年考試試題 對于學習程序設計課程的同學可以檢測一下學習的效果
上傳時間: 2014-01-14
上傳用戶:亞亞娟娟123
資源簡介:譯碼器的邏輯功能是將已賦予特定含義的一組二進制輸入代碼的原意"翻譯"出來,變成對應的輸出高低電平信號.該程序為3-8譯碼器.基于VHDL,其開發環境是MAXPLUS2.
上傳時間: 2013-12-23
上傳用戶:lepoke