Cargando…

On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Safarik, Pavol
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : Logos Verlag Berlin, 2014.
Temas:
Acceso en línea:Texto completo