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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Cyhoeddwyd yn: La Recherche No 449
Prif Awdur: Pajot, Philippe.
Fformat: Article de revue
Cyhoeddwyd: 2011.
Pynciau:
Crynodeb: 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.
Eitemau Perthynol: Wedi'i chynnwys yn: La Recherche

BU Sciences

  Lleoliad Rhif Galw Statws
n° 449 (2011)
Archives 500 RS REC Dispo. du n° : voir "Lien"