|
|
|
|
| LEADER |
00769nam a22001937a 4500 |
| 001 |
302541 |
| 008 |
110323c2011 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Delahaye, Jean-Paul,
|d 1952-....,
|c mathématicien.
|
| 245 |
1 |
0 |
|a Du rêve à la réalité des preuves
|c Jean-Paul Delahaye.
|
| 260 |
|
|
|c 2011.
|
| 300 |
|
|
|a p. 90-95.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
|
|a Formalisme (mathématiques).
|
| 650 |
|
|
|a Théorèmes
|x Démonstration automatique.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t Pour la science
|w 151121
|x 0153-4092
|g No 402
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 302541
|