Model completion of Lie differential fields.

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

Keyphrases

probabilistic model
high level
formal model
mathematical model
computer vision
genetic algorithm
theoretical analysis
theoretical framework
data sets
database
artificial intelligence
search engine
image sequences
databases
management system
medical images
computational model
conceptual model