Login / Signup
New Set-Theoretic Axioms Derived from a Lean Metamathematics.
Jan Mycielski
Published in:
J. Symb. Log. (1995)
Keyphrases
</>
set theoretic
image recovery
knowledge base
first order logic
machine learning
image retrieval