Unfolding Finitist Arithmetic.

Solomon Feferman Thomas Strahm

Published in: Rev. Symb. Log. (2010)

Keyphrases

petri net
arithmetic operations
real time
similarity measure
floating point
neural network
genetic algorithm
image sequences
image processing
training data
lower bound