Login / Signup
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
William A. Howard
Georg Kreisel
Published in:
J. Symb. Log. (1966)
Keyphrases
</>
rule induction
statistical analysis
real time
machine learning
data analysis
programming language
program synthesis
databases
pattern recognition
computational intelligence
real valued
inductive learning
concept formation
constructive induction