完备性证明相关论文
该文介绍一种考虑词间关系的汉字句变换算法,并且介绍了算法的优化方法.该文还对可能的发展方向作了简单的介绍.......
本文主要研究了由布朗运动和与其相互独立的Teugels鞅共同驱动的倒向随机微分方程适应解的存在唯一性以及带power-jump资产的Levy......
为采用定理证明的方法对并发及交互式系统进行验证，研究了有穷论域下有穷时间一阶投影时序逻辑（projection temporal logic，简称PTL）的......
