Logic and Theory of Algorithms

Name: Logic and Theory of Algorithms
Brand: Springer, Berlin
SKU: 9783540694052
Price: 105.26 EUR
Availability: InStock

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Автор: Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

105.26 € 205.87 лв

This book constitutes the refereed proceedings of the 4th International Conference on Computability...

Информация за книгата

Автор

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Език

Английски език

Корици

Книга - С меки корици

Издадена

2008

страници

596

EAN

9783540694052

ISBN

3540694056

Enbook ID

01567911

Издател

Springer, Berlin

Теглоt

943

Размери

156 x 236 x 36

Пълно описание

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008.§The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също