探讨几何画板探索性学习中实验归纳和演绎推理的平衡与统一。
This paper discussed the balance and unification of the experiment Induction and deductive reasoning in explore study of the Geometry's Sketchpad.
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法。
A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
分析显示，逻辑训练与受测试者的演绎推理能力是有关的。
Analysis of the data indicates that trainings in logic affect testees' ability of deductive...
分析显示，逻辑训练与受测试者的演绎推理能力是有关的。
Analysis of the data indicates that trainings in logic affect testees' ability of deductive...
应用推荐