Sign in
A Machine-Assisted Proof of Gödel's Incompleteness theorems for the Theory of Hereditarily Finite Sets.
Lawrence C. Paulson
Published in:
Rev. Symb. Log. (2014)
Keyphrases
</>
finite sets
piecewise linear
database
support vector
linearly separable
databases
machine learning
multi class
schema mappings