Login / Signup
Uniform Heyting arithmetic.
Ulrich Berger
Published in:
Ann. Pure Appl. Log. (2005)
Keyphrases
</>
set theory
arithmetic operations
high level
linear array
database
databases
real world
genetic algorithm
learning algorithm
three dimensional
image sequences