Symbolic Logic and Mechanical Theorem Proving /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Chang, Ching-Liang (autor)
مؤلفون آخرون: Lee, Richard Char-Tung (autor) (autor)
التنسيق: كتاب
اللغة:الإنجليزية
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
تفاصيل المقتنيات من IT1
رقم الاستدعاء:
511. 3 CHA
Ejemplar 0300280100
Disponible
Préstamo 7 días a 90
المجموعة:
Colección General
ملاحظات:
Ubicar en Nivel 1 Área de Colección General