Some Relations Between Classical and Constructive Mathematics.

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

Keyphrases

decision trees
computer science
databases
real time
learning algorithm
feature selection
metadata
database systems
multi agent
evolutionary algorithm
mobile robot
background knowledge
attribute values
computer algebra