• رقم التسجيل : 161016
  
• عدد الصفحات+تفاصيل: 405
  
• اللغة: en
  
• نوع المادة: book
  
• رقم التصنيف: 001.535 L898
  
• العنوان: Automated theorm proving a logical basis
  
• مكان النشر والناشر: Amsterdam North holland
  
• تاريخ النشر: 1978
  
• رؤوس الموضوعات: Automated theorm proving
  
• المؤلف: Loveland Donald W.
  

 

 

مساعدة - بحث جديد - الصفحة الرئيسية - English

نسخة تجريبية

 

 

 

 

 

 

 

© جميع حقوق النشر محفوظة لجامعة بغداد / الامانة العامة للمكتبة المركزية 2012