Back to Search
Start Over
Formalization of continuous Functions in Topological Spaces using Isabelle/HOL.
- Source :
- 2011 International Conference on System Science, Engineering Design & Manufacturing Informatization (ICSEM); 2011, p20-23, 4p
- Publication Year :
- 2011
Details
- Language :
- English
- ISBNs :
- 9781457702471
- Database :
- Complementary Index
- Journal :
- 2011 International Conference on System Science, Engineering Design & Manufacturing Informatization (ICSEM)
- Publication Type :
- Conference
- Accession number :
- 81876990
- Full Text :
- https://doi.org/10.1109/ICSSEM.2011.6081277