Algorithmic Equality in Heyting Arithmetic Modulo.

Published in: TYPES (2007)

Keyphrases

arithmetic operations
knowledge base
pattern recognition
neural network
decision making
image processing
bayesian networks
evolutionary algorithm
multiresolution