Computer Science Department, Stanford University, Stanford, CA 94305-9045;
机译:一阶实数理论的一个片段的拟可判定性
机译:叠加决定地面理论上的一阶逻辑片段
机译:叠加决定地面理论上的一阶逻辑片段
机译:Knuth-Bendix命令一阶理论的可辨icis
机译:具有大理论的一级推理的抽象精炼框架
机译:一阶剪切变形理论在阶梯式功能梯度一般抛物面壳振动分析中的应用
机译:Knuth-Bendix阶一阶理论的可判定性
机译:基于广义平均方法的二阶半导体二阶半人工卫星理论研究第一类非球面引力和非共振三维扰动的平均运动方程的显式发展