Mail
Facebook-f Twitter Youtube Instagram Discord Slack
004.451
Logique et démonstration automatique
0.0/5
  • القسم : علوم الحاسوب
  • المؤلف : DEVISMES, Stéphane,LAFOURCADE, Pascal,Lévy, Michel
  • دار النشر : ellipses
  • السنة : 2012
  • اللغة : فرنسية
  • البلد : paris
  • رقم التصنيف : 004.451
  • ر.د.م.ك : 9782729872298
  • الكلمات المفتاحية : Logique,et,démonstration,automatique,Introduction,àla,logique,propositionnelle,et,à,la,logique,du,premier,ordre
شارك :

تقييمات ومراجعات : Logique et démonstration automatique

{{ reviewsTotal }}{{ options.labels.singularReviewCountLabel }}
{{ reviewsTotal }}{{ options.labels.pluralReviewCountLabel }}
{{ options.labels.newReviewButton }}
{{ userData.canReview.message }}