Les Ordinateurs mathématiciens !.
Na minha lista:
Publicado no: | Bulletin de l'A.P.M.E.P. No 442 |
---|---|
Autor principal: | Delahaye, Jean-Paul, 1952-...., mathématicien. |
Formato: | Article de revue |
Idioma: | Français |
Publicado em: |
2002.
|
Assuntos: | |
Itens Relacionados: | Contido em:
Bulletin de l'A.P.M.E.P. |
Registros relacionados
-
Automated theorem Proving : a logical basis
por: Loweland, Donald.
Publicado em: 1978 -
Du rêve à la réalité des preuves
por: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publicado em: 2011 -
Paver le plan avec un pentagone convexe
por: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publicado em: 2017 -
Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
por: Larousserie, David.
Publicado em: 2003 -
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
por: David, René, 1948-
Publicado em: 2001