Integral of Real-Valued Measurable Function1

Integral of Real-Valued Measurable Function1

Bibliographic Details
Main Authors: Shidama Yasunari, Endou Noboru
Format: Article
Language:English
Published: Sciendo 2006-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-006-0018-8

Internet

https://doi.org/10.2478/v10037-006-0018-8

Similar Items