Carte Logical Approaches to Computational Barriers Arnold Beckmann

Logical Approaches to Computational Barriers

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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
551.47 lei
This book constitutes the refereed proceedings of the Second International Conference on Computabili...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2006
Pagini
608
EAN
9783540354666
ISBN
3540354662
Enbook ID
05273872
Greutate
875
Dimensiuni
155 x 235 x 32

Descriere completă

This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and Gödel centenary: Gödel's legacy for computability.§

S-ar putea să te intereseze

1 016.75 lei
368.41 lei
78.11 lei
74.28 lei
47.47 lei
69.44 lei
144.64 lei
341.50 lei

Be Still and Know: 365 Daily Devotions

Broadstreet Publishing Group LLC
57.55 lei

Foreign Policy of Russia

Robert H. Donaldson
1 411.69 lei
143.12 lei

Empire of the East

H. B. (Helen Barrett) Montgomery
72.67 lei

Is It 'Cause It's Cool?

Astrid M. Fellner
205.52 lei

Between Heaven and Earth

Harriet Beinfield
101.19 lei

Feedback

Lucas Hilderbrand
434.13 lei

Clienții care au cumpărat această carte au mai cumpărat și

210.76 lei

Charonův spár

R.A. Salvatore
53.31 lei

Informe Sobre Desarrollo Humano 2015

United Nations Development Programme
202.09 lei
258.64 lei