Researches on Deductive Object oriented Database Systems;

The normal description of the deductive engineering database is also presented.

Research on training innovative thinking ability by application of induction and deduction in chemistry teaching;

Wang Anyi s Contemporary Deduction from China s Classical Aesthetics;

The deduction is help-ful to re-recognize the academic value of "The Detailed comment on Computation and Record",and provides an important reference for the design and the operation of the home-made economictoken, accounting token, and detail account in the present time.

The Realizstion of Deduce Mechanism in Dood;

This article aimed to establish a TCM knowledgebase, uses AI logic language and applies Meta inference mechanism and Deduce mechanism to the TCM knowledgebase to assimilate the knowledge in it, and then make the knowledge in the TCM knowledgebase more rationable and precise.

The 20-year experiences show that forward inference is the higher level of deductive inference, with which the accura.

Deductive inference and non-deductive inference are often used in mathematical proof .

In this paper, some matter element conjunctives for dealing with non compatible problems have been put forward, and a set of matter element deductive inference rules have been set up.