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
Только что пользователи скачали эти книги:

Fluid Mechanics Demystified-Merle

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

Topology and analysis: The Atiyah-Singer index formula and gauge-theoretic physics

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

Linq Pocket Reference (Pocket Reference (O'Reilly))

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

Фізіологія людини. Підручник.

Автор:
Категория: Медицина
Размер книги: 69.06 Mb

El Imperio Contraataca

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