m

Documents  Sanin, N. A. | enregistrements trouvés : 4

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 287 p.
ISBN 978-0-8218-3013-0

Proceedings of the Steklov institute of mathematics , 0113

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 272 p.
ISBN 978-0-8218-3029-1

Proceedings of the Steklov institute of mathematics , 0129

Localisation : Collection 1er étage

03Fxx ; 03D10 ; 60A05 ; 60F05 ; 03D15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 275 p.
ISBN 978-0-8218-1799-5

American mathematical society translations série 2 , 0099

Localisation : Collection 1er étage

calcul constructif # construction # ensemble de dénombrable # logique constructive # théorie des algorithmes

03C15 ; 03C30 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Translations of mathematical monographs , 0021

Localisation : Collection 1er étage

algorithme # espace constructif concret # espace de fonction constructif # espace normé # métrique constructive # nombre réel constructif # présentation axiomatique

03Fxx ; 11Y16 ; 54C35

... Lire [+]

Z