Stochastic Calculus for Fractional Brownian Motion and ApplicationsFrancesca BiaginiVypredaná4,5Postrážiť
Games and Full Abstraction for a Functional Metalanguage with Recursive TypesGuy McCuskerVypredaná4,3Postrážiť
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons PrincipiaJacques FleuriotVypredaná4,3Postrážiť