利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则 利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则，和空间关系表示 2015-11-15 44 语义推理
理查森外推程序输入编号（1 理查森外推程序输入编号（1，2，3，分别表示lnx，tanx,sin(x^2+1/3x)计算函数）以及M和h的值，输出给出例6中的表格 2016-04-10 151 语义推理
推挽式变压器开关电源原理 推挽式变压器开关电源原理 2022-03-16 7 语义推理