Logic Programming and Automated Reasoning /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Voronkov, Andrei.
التنسيق: Sách giấy
اللغة:English
منشور في: Berlin : Springer-Verlag, 1993.
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt