Login / Signup
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.
Hajime Ishihara
Maria Emilia Maietti
Samuele Maschio
Thomas Streicher
Published in:
Arch. Math. Log. (2018)
Keyphrases
</>
machine learning
computer vision
higher order
neural network
global consistency
real time
digital libraries
data sets
databases
real world
social networks
metadata
query evaluation
levels of abstraction
path consistency