|
|
|
|
| LEADER |
00675nam a22001817a 4500 |
| 001 |
230775 |
| 008 |
050928c2005 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Müller, Xavier.
|
| 245 |
1 |
0 |
|a Vérité mathématique :
|b L'ordinateur aura bientôt le dernier mot
|c Xavier Müller.
|
| 260 |
|
|
|c 2005.
|
| 300 |
|
|
|a p. 90-95.
|
| 520 |
|
|
|a La récente validation du théorème des quatre couleurs l'annonce : trop complexes, les démonstrations ne pourront plus se passer de l'outil informatique.
|
| 650 |
|
|
|a Mathématiques
|x Informatique.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t Science et vie
|x 0036-8369
|w 118859
|g No 1056
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 230775
|