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

Guardat en:
Dades bibliogràfiques
Publicat a: La Recherche No 449
Autor principal: Pajot, Philippe.
Format: Article de revue
Publicat: 2011.
Matèries:
Sumari: 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.
Publicació relacionada: Contingut a: La Recherche

BU Sciences

  Localització Signatura Estat
n° 449 (2011)
Archives 500 RS REC Dispo. du n° : voir "Lien"