posted on 2009-01-10 01:40 lingol 閱讀(418) 評論(2) 編輯收藏引用

FeedBack:

# re: http://dev.yesky.com/140/7555640.shtml[未登錄]

2009-05-27 21:06 | TH

您博客上也沒放出核心部分啊求您了給下代碼看看吧真的救命用啊回復(fù) 更多評論

# 52oceans@163.com[未登錄]

2009-05-27 21:06 | TH

懇求您！回復(fù) 更多評論

只有注冊用戶登錄后才能發(fā)表評論。
【推薦】100%開源！大型工業(yè)跨平臺軟件C++源碼提供，建模，組態(tài)！



網(wǎng)站導(dǎo)航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

2009年6月

日

一

二

三

四

五

六

隨筆檔案

文章檔案

1.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（1）
不知現(xiàn)在還有沒人上這個博客,, 想請教下關(guān)於謂詞演算的系統(tǒng)設(shè)計(jì),, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導(dǎo)...
--key
2.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（1）
不知現(xiàn)在還有沒人上這個博客,, 想請教下關(guān)於謂詞演算的系統(tǒng)設(shè)計(jì),, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導(dǎo)...
--key
3.?re: Golang
評論內(nèi)容較長,點(diǎn)擊標(biāo)題查看
--bridge
4.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（1）
不知能否提供C語言實(shí)現(xiàn)的謂詞邏輯歸結(jié)推理系統(tǒng)供參考和學(xué)習(xí)？請發(fā)到oulibin@126.com，萬分感謝！
--區(qū)立斌
5.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（2）--Skolem化步驟
.。。。。來了。。。好失望。。
--飛機(jī)