الوصف
The collection showcases a range of selected papers from the 1993 Workshop on Computer Science Logic held in Swansea, UK. It brings together contributions from prominent researchers in the field, offering deep insights into various aspects of logic as it pertains to computer science.
Readers will find a wealth of information that spans theoretical foundations and practical applications, reflecting the dynamic and evolving nature of the subject. This volume serves as a critical resource for scholars and practitioners alike, providing valuable perspectives on the intersection between logic and computing from a notable event in the academic calendar.
Readers will find a wealth of information that spans theoretical foundations and practical applications, reflecting the dynamic and evolving nature of the subject. This volume serves as a critical resource for scholars and practitioners alike, providing valuable perspectives on the intersection between logic and computing from a notable event in the academic calendar.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
336 صفحات
لغة
الإنجليزية
منشور
أغسطس 26, 1994
الناشر
Springer Verlag
الطبعات
7 طبعات
رقم ISBN-10
0387582770
رقم ISBN-13
9780387582771