m
     
MathOuvrage

H 0 Computation, proof, machine

Dowek, Gilles ; Guillot, Pierre (Trad.) ; Roman, Marion (Trad.)

Cambridge university Press

2015

viii, 152 p. ; 22 cm

9780521133777

48646

théorie de la preuve ; calcul scientifique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 48646 1040661 GALERIE

Sous-titre : mathematicsenters a new age

Type de doc : M

Ville d'édition : Cambridge

Pays d'édition : fr

Langue ouvrage : eng

Langue originale : fre

Titre original : Les métamorphoses du calcul

Bibliographie : Bibliogr. p. 149-152

Class. Math. 2000 : 01-02 ; 03-03 ; 03B35 ; 03B40 ; 03B70 ; 03Dxx ; 03Fxx ; 68-XX ; 68-02 ; 68-03 ; 68N18 ; 68Qxx ; 68T15

Class. Library : QA26.D69

N° LCCCN : 2015004116

Class. Dewey : 510.9

Lien SUDOC : https://www.sudoc.fr/N 188285547

Z