Titre : Logique et demonstration automatique : Introduction a la logique propositionnelle et a la logique du premier ordre

Auteur:
DEVISMES Stephane
Année :
2012
Cote:
21-12-20
Theme:
21

 Retour

الاتصال

المكتبة الجامعة المركزية

العنوان: ص ب 1524 المنور 31000 وهران

بالقرب من الحرم الجامعي الأستاذ طالب مراد سالم السابق IGMO وهران. الجزائر

البريد: عنوان البريد الإلكتروني هذا محمي من روبوتات السبام. يجب عليك تفعيل الجافاسكربت لرؤيته.

هاتف: 041 51 88 24 

فاكس: 041 51 82 57

Search