Skip to main content
Have a personal or library account? Click to login
Compactness in Metric Spaces Cover

Compactness in Metric Spaces

Formalized Mathematics
Volume 24 (2016): Issue 3 (September 2016)
By: ,   and    
Open Access
|Feb 2017
Authors

Authors

Kazuhisa Nakasho

Japan

Keiko Narita

Japan

Yasunari Shidama

Japan
DOI: https://doi.org/10.1515/forma-2016-0013 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 167 - 172
Submitted on: Jun 30, 2016
Published on: Feb 21, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
46B50,
54E45,
03B35
Related subjects:
Mathematics,
Logic and set theory,
Computer sciences,
Artificial intelligence

© 2017 Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 24 (2016): Issue 3 (September 2016)
Next article