رویکردهای منطقی به موانع محاسباتی: دومین کنفرانس در مورد قابلیت محاسبه در اروپا، 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 مگابایت