Generalizing Theorems in Real Closed Fields.

Matthias Baaz Richard Zach

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

computer vision
real life
information retrieval
wide range
user interface
multiresolution
application fields