Vai al contenuto principale della pagina

Logical Approaches to Computational Barriers [Risorsa elettronica] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tuc



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Logical Approaches to Computational Barriers [Risorsa elettronica] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tuc Visualizza cluster
Pubblicazione: Berlin ; Heidelberg : Springer, 2006
Persona (resp. second.): Beckmann, Arnold
Berger, Ulrich
Löwe, Benedikt
Tucker, John V.
Type File/ Data Note: Formato html, pdf
Requisiti sistema: Formato html, pdf
Titolo autorizzato: Logical Approaches to Computational Barriers  Visualizza cluster
ISBN: 9783540354680
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990009251560403321
Lo trovi qui: Univ. Federico II
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/11780342
Opac: Controlla la disponibilitĂ  qui