Login / Signup
Foundations of real analysis and computability theory in non-Aristotelian finitary logic
Radhakrishnan Srinivasan
H. P. Raghunandan
Published in:
CoRR (2005)
Keyphrases
</>
image analysis
statistical analysis
quantitative analysis
data analysis
databases
artificial intelligence
real life
logic programming
theoretical framework
formal theory
proof theory
machine learning
decision making
case study