机译:<! “键入=”leinedraw“/> InlinemediaObject>
机译:平代数和通用角逻辑从等式逻辑的翻译
机译:一阶逻辑的Horn知识库的查询子查询网
机译:方程逻辑中一阶Horn公式的有效编码
机译:结合一阶理论检查无量词公式的有效性。
机译:1326.使用贝叶斯方法与一阶药代动力学方程的浓度 - 时间曲线(AUC)估计下的万古霉素面积:试点研究
机译:隶属方程逻辑,多种方程逻辑,具有相等性的Horn逻辑和重写逻辑的反思
机译:基于广义平均方法的二阶半导体二阶半人工卫星理论研究第一类非球面引力和非共振三维扰动的平均运动方程的显式发展