海量資源，盡在掌握

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

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

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

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

推薦內(nèi)容

英漢翻譯

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

<label id="xalzr"></label>

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

<s id="xalzr"></s>

<label id="xalzr"><xmp id="xalzr">

<li id="xalzr"><dl id="xalzr"><ruby id="xalzr"></ruby></dl></li><rt id="xalzr"><small id="xalzr"></small></rt><span id="xalzr"><noframes id="xalzr">