Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Research on the automatic calculation system of ocean platform jacket link parameters;
将基于模态参数的损伤检测方法应用于海洋平台，并进行改进。
Research on the automatic calculation system of ocean platform jacket link parameters;
将基于模态参数的损伤检测方法应用于海洋平台，并进行改进。
应用推荐