探讨几何画板探索性学习中实验归纳和演绎推理的平衡与统一。
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.
应用推荐