The Nature of Computation: Logic, Algorithms, Applications [[electronic resource] ] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 446 p. 42 illus.) : digital |
Disciplina | 511.352 |
Collana | Theoretical Computer Science and General Issues |
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 |
ISBN | 3-642-39053-6 |
Classificazione |
DAT 517f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465373503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 446 p. 42 illus.) : digital |
Disciplina | 511.352 |
Collana | Theoretical Computer Science and General Issues |
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 |
ISBN | 3-642-39053-6 |
Classificazione |
DAT 517f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484704303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|