Theories.

Itaï Ben Yaacov Artem Chernikov

Published in: J. Symb. Log. (2014)

Keyphrases

multiscale
formal models
real time
data sets
genetic algorithm
image processing
website
similarity measure
data structure
digital libraries
special case
theoretical framework
design theory
legal knowledge