Du rêve à la réalité des preuves
Αποθηκεύτηκε σε:
| Τόπος έκδοσης: | Pour la science No 402 |
|---|---|
| Κύριος συγγραφέας: | |
| Μορφή: | Article de revue |
| Έκδοση: |
2011.
|
| Θέματα: | |
| Περίληψη: | Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens. |
| Σχετικά τεκμήρια: | Περιέχεται σε:
Pour la science |
BU Sciences
| Τοποθεσία | Ταξιθετικός Αριθμός | Κατάσταση | |
|---|---|---|---|
|
n° 402 (2011)
|
Archives | 500 RS POU |
Dispo. du n° : voir "Lien"
|