您要查找的是不是：
- Being semantically constructed, as yet computability logic does not have a fully developed proof theory. 正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。
- Abstract: Firstly, we construct the epistemic systems EK1-EK3, give some results of their proof theory. 文章摘要: 首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。
- The preamble attaches about the proof theory theory, should say that will define rational concept some assistance temporarily to us. We continuously... 前文关于论证理论的附论，应该说对我们暂时定义合理性概念会有些协助。我们一直...
- Abstract: Firstly, we construct an axiomatic system PIRC of propositional identity relative to conditions and give some results in its proof theory. 首先，我们构造相对于条件的命题同一性逻辑PIRC，给出一些证明论结果；
- Based on the analysis of the theory of data fusion,the application of traditional likehood ratio judgment and the D-S proof theory in the MMW IR combied system is studied in this paper. 最后，在数据融合理论的基础上，探讨了似然比融合判决和D-S证据理论在毫米波红外检测系统中的应用，并采用模糊理论进行改进似然比融合判决，最后进行相关的仿真计算。
- Firstly, we construct the system C2K of conditionals with double conditions and the system C2L2 of conditionals with primary-condition and secondary-condition, give some results of their proof theory. 首先,我们构造双条件句系统C2K和主次条件句系统C2L2,给出这两个系统的一些证明’论结果。
- Proof Theory in Computer Science 计算机科学中的证明理论
- There is positive proof that he did it. 有确切的证据证明他做了此事。
- Survey: Proof Theory Semantics of General Logic Program 综述:一般逻辑程序的证明论语义
- The onus of proof lies with you. 你有责任提供证据。
- THE APPLICATION OF D-S PROOF THEORY IN TARGET IDENTIFICATION D-S证据理论在目标识别中的应用
- A Verification Method in D-S Proof Theory Application D-S证据理论应用中的一种验证方法
- A soldier's courage is put to the proof in battle. 士兵的勇气在战斗中得到考验。
- Can you produce any proof of your date of birth? 你能出示有关你的生日日期的任何证件吗？
- He tried in every way to verify this theory. 他想一切办法来验证这个理论。
- We now have the absolute proof of his guilt. 我们现在有他犯罪的确凿证据。
- I entirely approve of that theory. 我完全赞成那种理论。
- In proof of this theory, I shall make certain studies. 为了证明这一理论,我将进行某些研究。
- The cheque will be cashed on proof of identity. 这张支票凭身分证件兑现。
- Einstein put forward his new theory of relativity. 爱因斯坦提出了相对论的新学说。
