- رقم التسجيل : 448513
- اللغة: en
- نوع المادة: b
- رقم التصنيف: 511.3
- رقم المؤلف: g168
- الرقم الدولي: 0-471-61546-3
- العنوان: logic for computer science foundations of automatic theorem proving
- المؤلف: gallier,jean h.
- مكان النشر والناشر: new york:john wiley and sons
- تاريخ النشر: 1987
- عدد الصفحات: 5-15,511
- الملاحظات: includes bibliography includes index495-511
- رؤوس المواضيع: automatic theorem proving
- رؤوس المواضيع: logic,symbolic and mathematical
- عدد النسخ: 01
مساعدة - بحث جديد - الصفحة الرئيسية