Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Sergei N. Artemov, Anil Nerode (edición)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín, Alemania : Springer, 2007, c2007
سلاسل:(Lecture Notes in Computer Science)
الوصول للمادة أونلاين:Ver documento en línea
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
الوصف
وصف مادي:1 libro electrónico en línea (XII, 516 p.)
1 recurso en línea
ردمك:978-3-540-72734-7
تدمد:1611-3349
وصول:Licencias ilimitadas