تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
456
لغة
الإنجليزية
منشور
Mar 12, 2014
الناشر
Springer
رقم ISBN-10
3662213281
رقم ISBN-13
9783662213285
الوصف
In a collection of selected papers from the 6th Workshop on Computer Science Logic, scholars delve into the intricate intersections of logic and computation. The discussions span various topics, including foundational concepts like the universal Turing machine and aspects of linear logic, revealing deep insights into recursive inseparability.
Egon Börger expertly curates these pivotal contributions, showcasing the evolving landscape of computer science logic as it was understood in the early '90s. Each paper reflects the ongoing dialogue within the field, offering a snapshot of innovative research that continues to influence theoretical underpinnings today.
Egon Börger expertly curates these pivotal contributions, showcasing the evolving landscape of computer science logic as it was understood in the early '90s. Each paper reflects the ongoing dialogue within the field, offering a snapshot of innovative research that continues to influence theoretical underpinnings today.
الأنواع
إثارة وتشويق
حركة ومغامرة
علم وتكنولوجيا