Decidable Regularly Closed Fields of Algebraic Numbers.

Lou van den Dries Rick L. Smith

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

Keyphrases

computer vision
case study
neural network
first order logic
data sets
decision trees
situation calculus