Alfred Tarski's Elimination Theory for Real Closed Fields.

Lou van den Dries

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

Keyphrases

real life
theoretical basis
data sets
computational model
theoretical framework
database
databases
artificial intelligence
computer vision
feature selection
optimal solution
evolutionary algorithm
steady state