Bounded forcing axioms and the continuum.

David Asperó Joan Bagaria

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

Keyphrases

knowledge base
first order logic
artificial neural networks
database
data mining
machine learning
information retrieval
asymptotically optimal
continuous functions
real time
genetic algorithm
learning algorithm
computer vision
decision making
natural language
decreasing function