您要查找的是不是：
- semantic tableaux algorithm 语义表格算法
- A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux (analytic tableaux) have been proposed. 信念修正，由于新信息而调整信仰的过程，是应用溯因法的另一个领域。
- The decidability and soundness of the tableau algorithm is proved.The computation complexity is analysised. 证明了表算法的可判定性和可靠性,分析了表算法推理时的时间复杂度;
- The reasoning methods that rise by AR have been applied widespreadly. Semantic tableau method proposed by Beth (1959) and Hintikka (1955) was introduced to ATP by AI researcher later. Tableau method is virtually show binary relation in semantic structure. 语义tableau方法由Beth(1959)、Hintikka(1955)年提出，而后由人工智能研究者引入到自动定理证明中，tableau方法的实质是将语义结构中的二元关系显式地表现出来。
- Tableaux algorithm Tableaux算法
- From ALC to SHOQ(D):A Survey of Tableau Algorithms for Description Logics 从ALC到SHOQ(D):描述逻辑及其Tableau算法
- And it isn't a mere semantic nicety. 它不只是语义上的细微差别。
- tableau algorithm tableau算法
- The movie was a tableau of a soldier's life. 这部电影的画面生动地描绘了军人的生活
- Other semantic entanglements might be mentioned. 还可以举出一些语义上的其他混乱现象。
- The taBleau is resplendent in color. 画面色彩鲜艳度好
- The next step is semantic transparency. 下一步是实现语义的透明性。
- There may be a semantic problem. 可能存在语义问题。
- We stood in tableau and the curtain opened. 我们站在表和窗帘打开。
- Raises the semantic level of development. 提高开发阶段层次。
- Template:Entete tableau charte ! 册数 !标题 !香港版ISBN !
- Semantic features of MEE vocabulary. 分析轮机英语词汇的一些特点。
- Backtracking and semantic actions do not mix well. 回溯和语义动作混用不是太好。
- Goertzel algorithm is a fast algorithm of DFT. 戈泽尔算法是离散傅立叶变换的一种快速算法。
- Rms algorithm and FFT algorithm have been achieved. 实现了均方根算法和FFT算法。
