proof theory

 
       
  • 证明论

proof theory的用法和样例:

例句

  1. The significance of the model lies in that it initiates a proof theoretical approach to concurrency theory.
    文中用证明论方法研究并行理论,为进程代数演算开辟了一条新的研究途径。

proof theory的相关资料:

临近单词

分享单词到:
今日热词
  • 深远海浮式风电平台 - deep-sea floating wind power platform
  • 京雄高速公路 - Beijing-Xiongan expressway
  • 农业及相关产业增加值 - the added value of agriculture and related industries
目录 附录 查词历史