Les Ordinateurs mathématiciens !.
Salvato in:
Pubblicato in: | Bulletin de l'A.P.M.E.P. No 442 |
---|---|
Autore principale: | Delahaye, Jean-Paul, 1952-...., mathématicien. |
Natura: | Article de revue |
Lingua: | Français |
Pubblicazione: |
2002.
|
Soggetti: | |
Documenti correlati: | Fa parte di:
Bulletin de l'A.P.M.E.P. |
Documenti analoghi
-
Automated theorem Proving : a logical basis
di: Loweland, Donald.
Pubblicazione: 1978 -
Du rêve à la réalité des preuves
di: Delahaye, Jean-Paul, 1952-...., mathématicien.
Pubblicazione: 2011 -
Paver le plan avec un pentagone convexe
di: Delahaye, Jean-Paul, 1952-...., mathématicien.
Pubblicazione: 2017 -
Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
di: Larousserie, David.
Pubblicazione: 2003 -
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
di: David, René, 1948-
Pubblicazione: 2001