Un ordinateur pourra-t-il répondre à cette question ?

محفوظ في:
التفاصيل البيبلوغرافية
الحاوية / القاعدة: La Recherche No 449
المؤلف الرئيسي: Pajot, Philippe.
التنسيق: Article de revue
منشور في: 2011.
الموضوعات:
الملخص: Pour vérifier que des systèmes informatiques fonctionneront comme prévu, on ne peut pas tester leur nombre infini de configurations. Les informaticiens ont alors recours à la logique.
مواد ذات صلة: محتوى في: La Recherche

BU Sciences

  الموقع رقم الطلب الحالة
n° 449 (2011)
Archives 500 RS REC Dispo. du n° : voir "Lien"