Have a personal or library account? Click to login
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1 Cover

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1

Formalized Mathematics
Volume 14 (2006): Issue 4 (December 2006)
By: Noboru Endou,  Yasunari Shidama and  Katsumasa Okamura  
Open Access
|Jun 2008
DOI: https://doi.org/10.2478/v10037-006-0024-x | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 213 - 219
Published on: Jun 13, 2008
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2008 Noboru Endou, Yasunari Shidama, Katsumasa Okamura, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 14 (2006): Issue 4 (December 2006)