您要查找的是不是：
- 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 计算机科学中的证明理论
- A fire was burning in the grate. 火在壁炉中燃烧着。
- He took out a fire insurance policy for his house. 他为自己的房子办理了一份火险保险单。
- Survey: Proof Theory Semantics of General Logic Program 综述:一般逻辑程序的证明论语义
- THE APPLICATION OF D-S PROOF THEORY IN TARGET IDENTIFICATION D-S证据理论在目标识别中的应用
- A Verification Method in D-S Proof Theory Application D-S证据理论应用中的一种验证方法
- The kettle was boiling away merrily on the fire. 壶水烧开了咕嘟咕嘟地滚泡。
- A crowd gathered at the scene of the fire. 许多人聚集在火灾现场。
- I visualize having to fire some of the workers. 我预想到必须解雇一些工人。
- The driver was ticketed for parking in front of a fire hydrant. 那个司机因把车停在消防栓前而接到交通违规罚单。
- The fire blazed up when he poured petrol on it. 他浇上汽油火就熊熊地燃烧起来了。
- The fire cracker went off and scared Jack's dog. 爆竹爆炸声把杰克的狗吓了一跳。
- I do not want to be in the boss line of fire today. 今天我不想遭到老板的非难。
- She curled up in front of the fire with a book. 她蜷曲在炉火前看书。
