A congruence relation for sPBC.

Hermenegilda Macià Valentín Valero Ruiz Fernando Cuartero David de Frutos-Escrig

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

neural network
decision making
databases
genetic algorithm
high level
feature extraction
data structure
search algorithm
relational databases