> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Proceedings / CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2 - 6,1989 Beteiligte: Börger, Egon [Hrsg.] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1990 Erschienen in: Lecture notes in computer science ; 440 Umfang: VI, 437 S. Sprache: Englisch ISBN: 3540527532; 0387527532 RVK-Notation: SS 4800 : Lecture notes in computer science ST 120 : Grundlagen der Informatik Schlagwörter: Informatik > Logik Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Zentralbibliothek – Magazin Signatur: 0791 00435 001 Barcode: 10031653 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.