On the Computational Content of the Axiom of Choice.

Stefano Berardi Marc Bezem Thierry Coquand

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

Keyphrases

metadata
data sets
databases
e learning
real world
information retrieval
genetic algorithm
search engine
decision trees
social media
multimedia content
textual content