Fragments of Heyting Arithmetic.

Published in: J. Symb. Log. (2000)

Keyphrases

set theory
arithmetic operations
real time
data sets
neural network
real world
data mining
artificial neural networks
floating point
computer vision
image sequences
relational databases
computational intelligence
binary images
horizontal fragmentation