Mohlo by se vám také líbit

Více informací o knize Logical Approaches to Computational Barriers

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 304 bodů

Anotace knihy

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

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Logical Approaches to Computational Barriers
• Podnázev: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
• Autor: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 608
• EAN: 9783540354666
• ISBN: 3540354662
• ID: 05273872
• Nakladatelství: Springer, Berlin
• Hmotnost: 875 g
• Rozměry: 235 × 155 × 32 mm
• Rok vydání: 2006

Oblíbené z jiného soudku

---

---

---