دورية أكاديمية
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
| العنوان: | A Coq Formalization of Lebesgue Integration of Nonnegative Functions |
|---|---|
| المؤلفون: | Boldo, SylvieAff1, IDs10817021096120_cor1, Clément, FrançoisAff2, Aff3, Faissole, Florian, Martin, Vincent, Mayero, Micaela |
| المصدر: | Journal of Automated Reasoning. 66(2):175-213 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder كن أول من يترك تعليقا!