خرید و دانلود نسخه کامل کتاب Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

رویکردهای منطقی به موانع محاسباتی: دومین کنفرانس محاسباتی در اروپا، CiE 2006، Swansea، UK، 30 ژوئن-5 ژوئیه 2006. پرونده ها

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

نویسنده: Erika Ábrahám, Andreas Grüner (auth.), Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

تعداد صفحات: 622

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت