proof theory

 
       
  • 證明論

proof theory的用法和樣例:

例句

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

proof theory的相關資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史