Formalization of the Axiom of Choice and its Equivalent Theorems.

Tianyu Sun Wensheng Yu

Published in: CoRR (2019)

Keyphrases

knowledge representation
artificial intelligence
modal logic
machine learning
search engine
formal model
databases
information retrieval
support vector
search algorithm
trade off