Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007. The 7 revised papers prese...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Archibald, Margaret (Editor ), Brattka, Vasco (Editor ), Goranko, Valentin F. (Editor ), Löwe, Benedikt (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Lecture Notes in Artificial Intelligence, 5489
Temas:
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Computer science.
Algorithms.
Machine theory.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Theory of Computation.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Detalle de Existencias desde

Ejemplares similares