New Computational Paradigms Changing Conceptions of What is Computable /

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Cooper, S.B (Editor ), Löwe, Benedikt (Editor ), Sorbi, Andrea (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Temas:
Computer science-Mathematics.
Computer science.
Mathematical logic.
Philosophy.
Quantum physics.
Spintronics.
Mathematical Applications in Computer Science.
Theory of Computation.
Mathematical Logic and Foundations.
Quantum Physics.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares