Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ferreira, Fernando (Editor ), Löwe, Benedikt (Editor ), Mayordomo, Elvira (Editor ), Gomes, Luís Mendes (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6158
Temas:
Computer programming.
Compilers (Computer programs).
Computer science.
Algorithms.
Artificial intelligence.
Programming Techniques.
Compilers and Interpreters.
Theory of Computation.
Artificial Intelligence.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XIV, 450 p. 37 illus. online resource.
ISBN:9783642139628
ISSN:2512-2029 ;

Ejemplares similares