Treffer: Computer Science Logic
Titel:
Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / edited by Luke Ong
Verantwortlich:
Ausgabe:
1st ed. 2005
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 567 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3634
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Computer Science Logic. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540282310
RVK-Notation:
Schlagworte:
ISBN:
9783540318972 ; 3540318976 ; --354028231-9 ; --354081414-0 ; 978--354028231-0 (Sekundärausgabe) ; 978--354081414-6 (Sekundärausgabe)
DOI:
10.1007/11538363