m
     
MathOuvrage

H 0 Mathematical logic and algebra

Adian, Sergei I. (Ed.) ; Nikitin, Ivan P. (Ed.) ; Steklov Institute of mathematics

Maik Nauka;Interperiodica publishing

2003

196 p. ; 28 cm

42506

théorie de la preuve ; algorithme génétique ; intuitionnisme ; complexité algorithmique ; logique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 42506 1026417 PERIO

Sous-titre : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov

Type de doc : A

Ville d'édition : Moscow

Pays d'édition : ru

Langue ouvrage : eng

Langue originale : rus

Collection : Proceedings of the steklov institute of mathematics

N° dans la collection : 242

ISSN Collection : 0081-5438

Bibliographie : Notes bibliogr.

Class. Math. 2000 : 03Fxx ; 03Gxx

Lien SUDOC : https://www.sudoc.fr/121265404

Z