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"