所屬欄目:英漢云計(jì)算·物聯(lián)網(wǎng)·大數(shù)據(jù)
是由公共Lisp的程序語言、一套可擴(kuò)展的一階邏輯理論和一個(gè)機(jī)械化的定理證明工具所組成的軟件系統(tǒng)。 ......(本文共 52 字 ) [閱讀本文] >>