當(dāng)前位置：首頁(yè) > 英漢互譯 > 英漢云計(jì)算·物聯(lián)網(wǎng)·大數(shù)據(jù) > 正文

a computational logic for applicative common lisp (ACL2)
信息科技

        是由公共Lisp的程序語(yǔ)言、一套可擴(kuò)展的一階邏輯理論和一個(gè)機(jī)械化的定理證明工具所組成的軟件系統(tǒng)。......（本文共 52 字）     [閱讀本文] >>

開通會(huì)員，享受整站包年服務(wù)立即開通 >
推薦內(nèi)容