CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12 - 16, 1987 ; proceedings / E. Börger ... (eds.)

Von:

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: CSL. Proceedings ; 1.1987 | Lecture notes in computer science ; 329Verlag: Berlin [u.a.] : Springer, 1988Beschreibung: VI, 346 S. : graph. DarstISBN:

Schlagwörter:

Genre/Form:

Andere physische Formen: Erscheint auch als: CSL '87. Online-Ausgabe Berlin [u.a.] : Springer, 1988. Online-Ressource (VI, 346 S.)DDC-Klassifikation:

MSC: MSC: *00B25 | 68-06RVK: RVK: SS 4800LOC-Klassifikation:

Bearbeitungsvermerk:

PPN: PPN: 025061917

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode	Vormerkungen
Handbibliothek	Fakultät für Informatik	1987.Kar	Handbibliothek (Ausleihe und Einsicht nicht möglich)	1987.Kar(09153)	Ausgeliehen Ausleihe und Einsicht nicht möglich	15.01.2034	000276430090

Anzahl Vormerkungen: 0

Archivierung prüfen 20230513 DE-640 1 pdager