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

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