Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Ken McMillan, Aart Middeldorp, Andrei Voronkov (edición)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín, Alemania : Springer, 2013, c2013
سلاسل:(Lecture Notes in Computer Science)
الوصول للمادة أونلاين:Ver documento en línea
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!