Vai al contenuto principale della pagina

The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Edizione: 1st ed. 2013.
Descrizione fisica: 1 online resource (XVIII, 446 p. 42 illus.) : digital
Disciplina: 511.352
Soggetto topico: Computer science
Algorithms
Computer science—Mathematics
Discrete mathematics
Mathematical logic
Theory of Computation
Discrete Mathematics in Computer Science
Mathematical Applications in Computer Science
Computer Science Logic and Foundations of Programming
Mathematical Logic and Foundations
Classificazione: DAT 517f
SS 4800
Persona (resp. second.): BonizzoniPaola
BrattkaVasco
LöweBenedikt
Note generali: Bibliographic Level Mode of Issuance: Monograph
Sommario/riassunto: This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
Titolo autorizzato: The Nature of Computation: Logic, Algorithms, Applications  Visualizza cluster
ISBN: 3-642-39053-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910484704303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilitĂ  qui
Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7921