HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:probability theory

Publications
Formalization of Gambler’s Ruin Problem in Isabelle/HOL
Zibo Yang
EasyChair Preprint 6165
Alternative Approach to Achieve a Solution of Derangement Problems by Dynamic Programming
Thitivatr Patanasakpinyo and Adel Sulaiman
In:Proceedings of 38th International Conference on Computers and Their Applications
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Waqar Ahmed, Osman Hasan and Sofiene Tahar
In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Copyright © 2012-2025 easychair.org. All rights reserved.