机译:关于FORTE_MBC理论修订运算符的形式化表征
Pedro II Sch, Rio De Janeiro, RJ, Brazil;
Univ Fed Fluminense, Inst Comp, Dept Comp Sci, Niteroi, RJ, Brazil;
Univ Fed Rio de Janeiro, COPPE, Dept Syst Engn & Comp Sci, Rio De Janeiro, RJ, Brazil;
Inductive Logic Programming (ILP); theory revision; refinement operators; generality orders; Bottom Clause;
机译:通过操作员理论设置非扰动量子场理论的正式方面
机译:形式演绎系统£〜*(NM-logic)和Cantor空间中的最大一致理论的特征
机译:多体问题的自能修正算子理论:在电子气动力学性质中的应用
机译:基于T型蕴涵算子的模糊形式语境的公理表征
机译:对Harrower-Erickson多项选择组Rohrschach检验的Langley-Porter诊所修订版的判别价值进行研究,以预测公共交通工具运营商的终止率。
机译:形式对称算子的连通性理论
机译:几个变量的算子凸函数的刻画(关于算子结构的算子理论的最新主题)
机译:人类操作者时变动力学最优确定性的理论