a computational logic for applicative common lisp (ACL2)

所屬欄目:英漢云計(jì)算·物聯(lián)網(wǎng)·大數(shù)據(jù)

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


推薦內(nèi)容


翻譯