Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: João Marques-Silva, Karem A. Sakallah (edición)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín, Alemania : Springer, 2007, c2007
سلاسل:(Lecture Notes in Computer Science)
الوصول للمادة أونلاين:Ver documento en línea
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

النظام قيد الصيانة

نظام إدارة مكتبتنا قيد الصيانة حاليا.

معلومات إتاحة المواد والمقتنيات غير متاحة حاليا. الرجاء قبول اعتذارنا عن أي إزعاج قد يسببه ذلك والاتصال بنا للمزيد من المساعدة:

biblioteca@iteso.mx

الانترنت

Ver documento en línea