Treffer: Computer Science Logic

Titel:

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter

Verantwortlich:

Börger, Egon (Verfasser) ; Jäger, Gerhard (Verfasser) ; Kleine Büning, Hans (Verfasser) ; Richter, Michael M (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1992

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

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

RVK-Notation:

ST 130 SS 4000

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540472858 ; 3540472851 ; 9783540557890 (Sekundärausgabe) ; 354055789X (Sekundärausgabe)

DOI:

10.1007/BFb0023753

Lokale Klassifikationen:

tech M 0115 Bern 1991

Treffer: Computer Science Logic

Zusatz-Informationen

Zusatz-Funktionen