Login / Signup
Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis.
Miklós Erdélyi-Szabó
Published in:
Math. Log. Q. (2021)
Keyphrases
</>
algebraic structure
probabilistic model
higher order
feature selection
multiscale
database systems
data mining
computer vision
decision making
image processing
image segmentation
pattern recognition
data analysis
image analysis
fuzzy logic
fuzzy sets