Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings (Lecture Notes in Computer Science, 3988)

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

رویکردهای منطقی به موانع محاسباتی: دومین کنفرانس در مورد قابلیت محاسبه در اروپا، CiE 2006، سوانسی، انگلستان، 30 ژوئن تا 5 ژوئیه، 2006، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 3988)

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings (Lecture Notes in Computer Science, 3988)

نویسنده: Arnold Beckmann (editor), Ulrich Berger (editor), Benedikt Löwe (editor), John V. Tucker (editor)

ناشر: Springer

سال انتشار: 2006

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

زبان: English

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

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

111,000 تومان 80,000 تومان