Using Boolean operations and concatenation product w.r.t special trees,quantifier hierarchies are given by way of altern......

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......

常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可......

从历时性角度看,由于人性是大致相通和基本稳定的,因而史前和现代的艺术在本质上是一致的;从共时性角度看,虽然我们对艺术不能有一......

It is widely held that irrational numbers can be represented by infinite digit-sequences. We will show that this is not ......

A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agent......