H 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
N° | 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