Thus, the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained, such as precision and machine-checkable proofs.

　
英 美
  • 由此,邏輯框架的復雜性就被隱藏起來(lái)了,同時(shí)我們還保留了精確性和機器驗證等使用類(lèi)型理論系統及其相關(guān)工具的優(yōu)點(diǎn)。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan