Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Ésik, Zoltán (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Theoretical Computer Science and General Issues, 4207
Sujets:
Compilers (Computer programs).
Computer science.
Machine theory.
Artificial intelligence.
Mathematical logic.
Compilers and Interpreters.
Theory of Computation.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Accès en ligne:Texto Completo
Description
Description matérielle:XII, 627 p. online resource.
ISBN:9783540454595
ISSN:2512-2029 ;

Documents similaires