<li id="mvnt1"><legend id="mvnt1"></legend></li>

海量資源，盡在掌握

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

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

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

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

推薦內(nèi)容

英漢翻譯

漢英分類英漢科技英漢航海輪機(jī) 漢英航空發(fā)動機(jī)工程技術(shù) 英漢漢英電力工程技術(shù) 漢英汽車技術(shù) 英漢農(nóng)業(yè) 英漢雙向機(jī)電漢英詞典英漢雙向汽車漢英經(jīng)濟(jì)實(shí)用漢英流行病學(xué) 英漢大詞典英漢機(jī)電英漢縮略語英漢農(nóng)學(xué) 英中醫(yī)學(xué) 英漢雙解英漢漢英土木工程詞匯英漢漢英統(tǒng)計英漢漢英文獻(xiàn)信息英漢雙向金融英漢汽車技術(shù) 英漢雙向管理英漢計算機(jī)技術(shù) 英漢雙向船舶工程世界人名翻譯英漢雙向生物化學(xué) 英漢漢英災(zāi)害中山英漢醫(yī)學(xué) 漢英醫(yī)療衛(wèi)生漢英建筑工程英漢雙向商貿(mào) 英漢漢英制冷空調(diào) 漢英工業(yè)技術(shù) 漢英現(xiàn)代科學(xué) 英漢信息技術(shù) 英漢漢英電工英漢雙向精細(xì)化工英漢航空航天縮略語英漢詞典漢英法律分類俄漢航空航天航海科技漢英經(jīng)濟(jì)科學(xué) 俄漢軍事縮略語中國專名翻譯英漢雙向體育漢英農(nóng)業(yè)分類漢法經(jīng)濟(jì)綜合詞匯漢英政治法律英漢雙向法律英漢雙向環(huán)境工程