Every Real Closed Field Has an Integer Part.

M. H. Mourgues Jean-Pierre Ressayre

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

Keyphrases

real life
real world
databases
neural network
image segmentation
floating point