Les Ordinateurs mathématiciens !.
Uloženo v:
Vydáno v: | Bulletin de l'A.P.M.E.P. No 442 |
---|---|
Hlavní autor: | Delahaye, Jean-Paul, 1952-...., mathématicien. |
Médium: | Article de revue |
Jazyk: | Français |
Vydáno: |
2002.
|
Témata: | |
Příbuzné jednotky: | Obsaženo v:
Bulletin de l'A.P.M.E.P. |
Podobné jednotky
-
Automated theorem Proving : a logical basis
Autor: Loweland, Donald.
Vydáno: 1978 -
Du rêve à la réalité des preuves
Autor: Delahaye, Jean-Paul, 1952-...., mathématicien.
Vydáno: 2011 -
Paver le plan avec un pentagone convexe
Autor: Delahaye, Jean-Paul, 1952-...., mathématicien.
Vydáno: 2017 -
Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
Autor: Larousserie, David.
Vydáno: 2003 -
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
Autor: David, René, 1948-
Vydáno: 2001