The Predicate Formal System Based on 1-Level Universal AND Operator.

Ying-cang Ma Xue-zhen Dai

Published in: AICI (1) (2011)

Keyphrases

formal model
lower level
formal language
information retrieval
e learning
image processing
image segmentation
similarity measure
data structure
first order logic