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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Archibald, Margaret (Éditeur intellectuel), Brattka, Vasco (Éditeur intellectuel), Goranko, Valentin F. (Éditeur intellectuel), Löwe, Benedikt (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Collection:Lecture Notes in Artificial Intelligence, 5489
Sujets:
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.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Informations d'exemplaires de

Documents similaires