A New Realizability Notion for Intuitionistic Analysis.

Bruno Scarpellini

Published in: Math. Log. Q. (1977)

Keyphrases

quantitative analysis
statistical analysis
image analysis
database
real world
machine learning
learning environment
mobile robot
sufficient conditions