The mathematical structure of incomplete constructive calculus
スポンサーリンク
概要
著者
関連論文
- A metatheory of nonstandard analysis
- The mathematical structure of incomplete constructive calculus
- On the notions of randomness(2nd Workshop on Stochastic Numerics)
- COMPUTABILITY ASPECTS OF SOME DISCONTINUOUS FUNCTIONS
- A proof-theoretic approach to knowledge
- Inference within Knowledge