Logic and Theory of Algorithms

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

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

Autor: Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

432.98 zł

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

Informacje o książce

Autor

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2008

strony

596

EAN

9783540694052

ISBN

3540694056

Enbook ID

01567911

Wydawca

Springer, Berlin

Waga

943

Wymiary

156 x 236 x 36

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logic and Theory of Algorithms

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również