The Power-Set Well-Ordering Theorem Does Not Require the Axiom of Choice: An Automated Deduction.

Published in: IC-AI (2010)

Keyphrases

automated deduction
machine learning
small number
real time
databases
data mining
search engine
expert systems
relational databases
general purpose
hierarchical structure
multi valued
initial set