CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12 - 16, 1987 ; proceedings / E. Börger ... (eds.)
Contributor(s): 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
- 004/.01/5113 19
- QA75.5
- 1
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