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

By:

(1 : CSL (1 : 1987 : Karlsruhe) [aut]

Contributor(s):

Börger, Egon, 1946- [oth]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: CSL. Proceedings ; 1.1987 | Lecture notes in computer science ; 329Publisher: Berlin [u.a.] : Springer, 1988Description: VI, 346 S. : graph. DarstISBN:

3540502416
0387502416

Subject(s):

Genre/Form:

Konferenzschrift

Additional physical formats: Erscheint auch als: CSL '87. Online-Ausgabe Berlin [u.a.] : Springer, 1988. Online-Ressource (VI, 346 S.)DDC classification:

004/.01/5113 19

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

QA75.5

Action note:

PPN: PPN: 025061917

Holdings ( 1 )
Title notes ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Handbibliothek	Fakultät für Informatik	1987.Kar	Handbibliothek (Ausleihe und Einsicht nicht möglich)	1987.Kar(09153)	Checked out Ausleihe und Einsicht nicht möglich	15.01.2034	000276430090

Total holds: 0

Archivierung prüfen 20230513 DE-640 1 pdager