1 documento corresponde a la consulta.
Palabras contadas: computable: 13, maps: 28
Becher, V. - Grigorieff, S.
Theor Comput Sci 2004;322(1 SPEC ISS):85-136
2004
Temas: Computer science - Problem solving - Set theory - Theorem proving - Topology - Turing machines - Computable maps - Infinite words - Metric spaces - Computability and decidability
Descripción: Fil:Becher, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
...ver más Tipo de documento: info:ar-repo/semantics/artículo
Sistema de Bibliotecas y de Información
Secretaría de Ciencia y Técnica
Universidad de Buenos Aires
Licencia de uso
- El Repositorio Digital Institucional de la Universidad de Buenos Aires se encuentra bajo una Licencia Creative Commons
Colecciones
Contacto
- Correo: repositorio@sisbi.uba.ar
- Copyright © 2022