Informatics; Syntactics; Semantics; Computational modeling; Cognition; Reactive power; Transforms;
机译:在存在变量的规则上:走可判定性线
机译:可以确定带有后继的二变量一阶逻辑中的量词替换
机译:具有两个变量的一阶逻辑的小子结构和可确定性问题
机译:当通用和存在变量分开时决定一阶可满足性
机译:一阶逻辑在分析多个复杂变量中的作用。
机译:电子密度一阶密度矩阵和自然自旋轨道的通用变分函数以及v表示性问题的解决方案
机译:通用变量和现有变量分开时确定一阶可满足性
机译:通用一阶可靠性方法的图解结构应用