Les Ordinateurs mathématiciens !.
Shranjeno v:
izdano v: | Bulletin de l'A.P.M.E.P. No 442 |
---|---|
Glavni avtor: | Delahaye, Jean-Paul, 1952-...., mathématicien. |
Format: | Article de revue |
Jezik: | Français |
Izdano: |
2002.
|
Teme: | |
Sorodne knjige/članki: | Vsebovano v:
Bulletin de l'A.P.M.E.P. |
Podobne knjige/članki
-
Automated theorem Proving : a logical basis
od: Loweland, Donald.
Izdano: 1978 -
Du rêve à la réalité des preuves
od: Delahaye, Jean-Paul, 1952-...., mathématicien.
Izdano: 2011 -
Paver le plan avec un pentagone convexe
od: Delahaye, Jean-Paul, 1952-...., mathématicien.
Izdano: 2017 -
Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
od: Larousserie, David.
Izdano: 2003 -
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
od: David, René, 1948-
Izdano: 2001