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

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

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

開通會(huì)員,享受整站包年服務(wù)立即開通 >