proof theory

　
英 　 　 美 　 　
  • 證明論

proof theory的用法和樣例：

例句

  1. The significance of the model lies in that it initiates a proof theoretical approach to concurrency theory.
    文中用證明論方法研究并行理論，為進(jìn)程代數演算開(kāi)辟了一條新的研究途徑。

proof theory的相關(guān)資料：

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan