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- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee sele…
Mehr
CHF 140.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Kahle, Reinhard (Hrsg.)
- ISBN: 978-3-642-04027-6
- EAN: 9783642040276
- Produktnummer: 33365864
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2009
- Seitenangabe: 567 S.
- Plattform: PDF
- Masse: 10'307 KB
- Auflage: 2009
- Abbildungen: Bibliographie
- Reihenbandnummer: 5771
2 weitere Werke von Erich (Hrsg.) Grädel:
Bewertungen
Anmelden