Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
Carrello
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Home
Riviste
Formalized Mathematics
Volume 24 (2016): Numero 3 (September 2016)
Accesso libero
Compactness in Metric Spaces
Kazuhisa Nakasho
Kazuhisa Nakasho
,
Keiko Narita
Keiko Narita
e
Yasunari Shidama
Yasunari Shidama
| 21 feb 2017
Formalized Mathematics
Volume 24 (2016): Numero 3 (September 2016)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
21 feb 2017
Pagine:
167 - 172
Ricevuto:
30 giu 2016
DOI:
https://doi.org/10.1515/forma-2016-0013
Parole chiave
metric spaces
,
normed linear spaces
,
compactness
© by Kazuhisa Nakasho
This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License