The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
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%....
Guardado en:
Autor Corporativo: | SpringerLink (Online service) |
---|---|
Otros Autores: | Brattka, Vasco, Löwe, Benedikt, Bonizzoni, Paola |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Colección: | Lecture Notes in Computer Science,
7921 |
Materias: | |
Acceso en línea: | Click here to view the full text content |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Publicado: (2012) -
Proofs and algorithms : an introduction to logic and computability /
por: Dowek, Gilles
Publicado: (2011) -
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publicado: (2012) -
Logic for computer scientists /
por: Schoning, Uwe
Publicado: (2008) -
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Publicado: (2013)