提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统，实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。......

在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳......

让 H 在代数学地关上的领域 k 和 CFm 上的有限维的世袭代数学是有 m 的 H 的重复的簇范畴 1。我们调查在 CFm 和重复倾斜簇的代数......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......

<正>A new incremental clustering framework is presented,the basis of which is the induction as inverted deduction.Induct......