دانلود کتاب Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

Name: Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Availability: InStock
Author: Daniel Andersson
ISBN: 9783540694052, 9783540694076

by Daniel Andersson

عنوان فارسی: منطق و تئوری الگوریتم: کنفرانس 4 پذیری در اروپا، CIE 2008، آتن، یونان، ژوئن 15-20، 2008 مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2008
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 596-613
شابک: 9783540694052, 9783540694076
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 11.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.

گزارش اشکال ⚠