Regular universes and formal spaces.

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

three dimensional
search algorithm
formal model
database
real time
data sets
data mining
information retrieval
artificial intelligence
information systems
digital libraries
probabilistic model
formal analysis
formal models