Logical Approaches to Computational Barriers

Logical Approaches to Computational Barriers

Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Herausgegeben: Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
77,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
39 °P sammeln!
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting wi...