机译:向量计算机上命题逻辑中定理证明的广义过程的向量化
机译:命题向量逻辑系统及其充分性定理
机译:Hilbert空间,黎曼n-Manifold,S〜n和有序拓扑向量空间中的广义向量变分不等式问题,广义向量互补问题:使用不动点定理和同伦函数的研究
机译:机械几何定理证明的矢量方程解
机译:使用广义Davis-Putman过程在向量计算机上的命题逻辑中证明定理
机译:具有重采样的随机矢量随机调制序列的中心极限定理及其在统计学中的应用
机译:Hilbert空间中坐标负相关随机向量的强收敛定理
机译:命题逻辑中一些策略证明定理的复杂性(关于计算复杂性和相关主题的研究)
机译:命题模态逻辑的矩阵定理证明器的实现