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

FeedBack:

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

2009-05-27 21:06 | TH

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

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

2009-05-27 21:06 | TH

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



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

2025年5月

日

一

二

三

四

五

六

隨筆檔案

文章檔案

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