computational logic

美 [ˌkɑːmpjuˈteɪʃənl ˈlɑːdʒɪk]英 [ˌkɒmpjuˈteɪʃənl ˈlɒdʒɪk]

computational logic

1

Some Revisions and Proofs on the Definition Principle in " A Computational Logic "

《计算逻辑》中定义原理的修改与重证
2

Rippling - out tactic for a computational logic

计算逻辑中的波动策略
3

Computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per-source ;

集成器的维护对象从每个数据源上的多基表简化为单源视图，集成计算逻辑得到了简化；
4

Model Checking Based on Temporal Logic , including linear temporal logic and computational tree logic .

模型检测基于时态逻辑（TemporalLogic），包括线性时态逻辑和计算树逻辑。
5

A concept of fuzzy Hopfield network ( FuzzyHN ) with the computational functions of fuzzy logic is defined .

首先提出了具有模糊逻辑计算功能的模糊Hopfield神经网络&FHN。
6

LAPP is a data modeling and different from traditional computational method of modeling gene logic networks . This computational approach identifies logic relationships of the elements ( or components ) in complex networks through the logic analysis of their expression data .

LAPP和传统建立基因逻辑网络模型的方法不同，它给出了一个从复杂网络的元素（或部件）的表达数据出发，通过逻辑分析，找到元素之间的逻辑关联性的建模方法。