Custom cover image
Custom cover image

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

By: 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
Subject(s): Genre/Form: 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:
  • 1
PPN: PPN: 025061917
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

Powered by Koha