libcats.org
Главная

Logical Approaches to Computational Barriers, 2 conf., CiE 2006

Обложка книги Logical Approaches to Computational Barriers, 2 conf., CiE 2006

Logical Approaches to Computational Barriers, 2 conf., CiE 2006

, , ,

This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, in June/July 2006.

The 31 revised full papers presented together with 30 invited papers were carefully reviewed and selected from about 80 submissions. Among them are papers corresponding to 8 plenary talks and papers of 6 special sessions entitled 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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

Путь, выбирающий нас

Автор:
Категория: Фэнтези
Размер книги: 807 Kb

Танюшкина рыбка

Автор:
Размер книги: 8 Kb

Washington Manual of Oncology

Автор:
Размер книги: 5.06 Mb

Справочник по ремонту турбогенераторов

Автор:
Категория: Tech
Размер книги: 77.00 Mb

Кроме того, что я

Автор:
Категория: Поэзия

Рассказы

Автор:
Категория: Фантастика
Размер книги: 154 Kb

Character Building--Thought Power

Автор:
Размер книги: 130 Kb

Bounty [Short stories]

Автор:
Категория: fiction
Размер книги: 5 Kb