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 144.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
L048:
Lieferbar in 48 Stunden
Produktdetails
Weitere Autoren: Kahle, Reinhard (Hrsg.)
- ISBN: 978-3-642-04026-9
- EAN: 9783642040269
- Produktnummer: 31948867
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2009
- Seitenangabe: 567 S.
- Masse: H23.5 cm x B15.5 cm 0 g
- Reihenbandnummer: 5771
- Sonstiges: Research
2 weitere Werke von Erich (Hrsg.) Grädel:
Bewertungen
Anmelden