Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness

Azeddine Lazrek Pierre Lescanne Jean-Jacques Thiel

Published in: Inf. Comput. (1990)

Keyphrases

software tools
machine learning
genetic algorithm
building blocks
information systems
multimedia
objective function
bayesian networks
data quality
end users
information technology
data analysis
multiscale
real time
database systems
computer vision
information retrieval
databases