On Gentzen Systems Associated with the Finite Linear MV-Algebras.

Àngel J. Gil Antoni Torrens Ventura Verdú

Published in: J. Log. Comput. (1997)

Keyphrases

distributed systems
linear systems
building blocks
databases
genetic algorithm
data sets
neural network
social networks
computer vision
case study
sufficient conditions