A note on substitutions in representable cylindric algebras.

Tarek Sayed Ahmed

Published in: Math. Log. Q. (2009)

Keyphrases

neural network
distributive lattices
database
face recognition
cooperative
object recognition
data sets
databases
three dimensional
computational complexity
qualitative and quantitative
temporal reasoning
spatial reasoning