1) program for inference
推理程序
2) program reasoning language
程序推理式语言
3) programming of ratiocination
推理程序设计
4) program window inference
程序窗口推理
1.
Finally an approach is proposed for data refinement which is based on data refinement calculus and program window inference.
在精化演算的基础上 ,构造了一种数据精化算子 ,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法 。
5) program for induction reasoning
归纳推理程序
6) program for logic reasoning
逻辑推理程序
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条