Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 14 (2006): Edition 2 (June 2006)
Accès libre
Integral of Measurable Function
1
Noboru Endou
Noboru Endou
et
Yasunari Shidama
Yasunari Shidama
| 09 juin 2008
Formalized Mathematics
Édition 14 (2006): Edition 2 (June 2006)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
09 juin 2008
Pages:
53 - 70
DOI:
https://doi.org/10.2478/v10037-006-0008-x
This content is open access.
In this paper we construct integral of measurable function.