H Computability theory and its applications, current trends and open problems
Cholak, Peter (Ed.) ; Lempp, Steffen (Ed.) ; Lerman, Manuel (Ed.) ; Shore, Richard A. (Ed.) ; American mathematical Society ; Institute for mathematical sciences ; Society for industrial and applied mathematics
2000
xvi, 320 p. ; 26 cm
40478
calculabilité ; théorie des ensembles ; récursion ; récursivité ; décidabilité
Exemplaires
Nbre d'exemplaires : 1| N° | Inventaire | Code barre | Localisation | |
|---|---|---|---|---|
| 1 | 40478 | 1028392 | PROC 03C COM |
Sous-titre : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and its applications, June 13-17, 1999, University of Colorado, Boulder
ISBN10 : 0-8218-1922-4
Type de doc : C
Ville d'édition : Providence RI
Pays d'édition : us
Langue ouvrage : eng
Collection : Contemporary mathematics
N° dans la collection : 257
ISSN Collection : 0271-4132
Bibliographie : Notes bibliogr.
Class. Math. 2000 : 03C57 ; 03D25 ; 03D28 ; 03D30 ; 03D45 ; 03D80 ; 03E15 ; 03E35 ; 03F35 ; 03M15
Class. Library : QA9.59.C66
N° LCCCN : 00-036278
Class. Dewey : 511.3
Nom congres : joint summer research conference on computability theory and its applications
Ville du congrès : Boulder CO
Pays congres : us
Année du congres : 1999
Année de soutenance : 0
Lien SUDOC : https://www.sudoc.fr/058888500
- © Powered by Kentika
- |
- 2025
- |
- Mentions légales
- |
- w
- |
- E