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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Cooper, S.B (Editor), Löwe, Benedikt (Editor), Sorbi, Andrea (Editor)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer New York : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Subjects:
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.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items