Treffer: Computer Science Logic

Titel:

Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr

Verantwortlich:

Gottlob, Georg (Verfasser) ; Grandjean, Etienne (Verfasser); Seyr, Katrin (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Gottlob, Georg, 1956-. Computer Science Logic. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999

RVK-Notation:

SS 4000

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540488552 ; 3540488553 ; 9783540659228 (Sekundärausgabe) ; 3540659226 (Sekundärausgabe)

DOI:

10.1007/10703163

Treffer: Computer Science Logic

Zusatz-Informationen

Zusatz-Funktionen