運輸企業管理系統。vb＋sql
標簽： sql 運輸 企業管理
上傳時間： 2015-03-08
上傳用戶：TRIFCT
物質管理系統 vb＋sql
標簽： sql 管理系統
上傳用戶：zgu489
一本經典的C++書箱！
標簽：
上傳時間： 2013-12-30
上傳用戶：BIBI
一本介紹設計模式的好書
標簽： 設計模式
上傳用戶：exxxds
本程序用于語法分析
標簽： 程序 分
上傳用戶：熊少鋒
MIDP不支持小數。 所以畫拋物線時只在模擬畫了。 本代碼就是模擬一個子彈飛行軌跡。
標簽： MIDP 模擬 拋物線 代碼
上傳時間： 2014-01-18
上傳用戶：來茴
一本講arm存儲結構的書。
標簽： arm 存儲結構
上傳時間： 2013-12-13
上傳用戶：waizhang
一 開發環境 OS: Windows 2000 Server + SP2 IDE: Visual Studio 6.0 + SP5 DataBase: SQL 2000 Server + SP2
標簽： Server 2000 SP2 DataBase
上傳時間： 2014-01-03
上傳用戶：invtnewer
一本講述linux軟件之父 李納斯.托沃茲 的書
標簽： linux 軟件 納
上傳時間： 2013-12-19
上傳用戶：LIKE
基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
蟲蟲下載站版權所有 京ICP備2021023401號-1
