Treffer: Computer Science Logic

Titel:

Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings / edited by Jerzy Marcinkowski, Andrzej Tarlecki

Verantwortlich:

Marcinkowski, Jerzy (Verfasser); Tarlecki, Andrzej (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2004

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 3210
alle Bände anzeigen

Andere Ausgaben:

Elektronische Reproduktion von: Marcinkowski, Jerzy. Computer Science Logic. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2004

RVK-Notation:

SS 4000

Schlagworte:

Vorliegende Ausgabe:

Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)

ISBN:

9783540301240 ; 3540301240 ; 9783540230243 (Sekundärausgabe) ; 3540230246 (Sekundärausgabe)

DOI:

10.1007/b100120

Treffer: Computer Science Logic

Zusatz-Informationen

Zusatz-Funktionen