Treffer: Computer Science Logic

Titel:

Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

Verantwortlich:

Börger, Egon (Verfasser) ; Kleine Büning, Hans (Verfasser) ; Richter, Michael M (Verfasser); Schönfeld, Wolfgang (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1991

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Börger, Egon. Computer Science Logic. - Berlin, Heidelberg : Springer-Verlag, 1991

RVK-Notation:

ST 125 SS 4000

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540384014 ; 3540384014 ; 9783540544876 (Sekundärausgabe) ; 3540544879 (Sekundärausgabe)

DOI:

10.1007/3-540-54487-9

Treffer: Computer Science Logic

Zusatz-Informationen

Zusatz-Funktionen