Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak, Steffen Lempp, Manuel Lerman ... [et al.], editors

Date : 2000

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-8218-1922-4

Fonctions calculables

Classification Dewey : 511.3

Cholak, Peter (1962-....) (Directeur de publication / publishing director)

Lempp, Steffen (1959-....) (Directeur de publication / publishing director)

Lerman, Manuel (1943-....) (Directeur de publication / publishing director)

Shore, Richard A. (1946-....) (Directeur de publication / publishing director)

AMS-IMS-SIAM joint summer research conference, computability theory and applications (1999 ; Université du Colorado, Boulder, Colo.) (Auteur / author)

Relation : Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak, Steffen Lempp, Manuel Lerman ... [et al.], editors / Providence (R.I.) : American Mathematical Society , 2012