Treffer: Logical Approaches to Computational Barriers

Titel:

Logical Approaches to Computational Barriers : 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. Tucker

Beteiligt:

Beckmann, Arnold (Herausgeber); Berger, Ulrich (Herausgeber); Löwe, Benedikt (Herausgeber); Tucker, John V (Herausgeber)

Ausgabe:

1st ed. 2006

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XV, 608 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3988

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Logical Approaches to Computational Barriers. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540354666

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540354680 ; 3540354689 ; --354035466-2 ; --354082579-7 ; 978--354035466-6 (Sekundärausgabe) ; 978--354082579-1 (Sekundärausgabe)

DOI:

10.1007/11780342

Treffer: Logical Approaches to Computational Barriers

Zusatz-Informationen

Zusatz-Funktionen