Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C-...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Grädel, Erich (Editor), Kahle, Reinhard (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Theoretical Computer Science and General Issues, 5771
Subjects:
Artificial intelligence.
Mathematical logic.
Machine theory.
Computer science.
Computer science-Mathematics.
Coding theory.
Information theory.
Artificial Intelligence.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Symbolic and Algebraic Manipulation.
Coding and Information Theory.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Holdings details from

Similar Items