代数值集的缩小-一流百科

代数值集的缩小

简介与逻辑编程一样，代数值集的缩小提供了一种对未解决或部分解决的方程中的数值进行推理的方法。在逻辑编程依赖解析的地方，代数值集依赖缩小规则。缩小规...