Media type: Book; Conference Proceedings Title: Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers Contributor: Kleine Büning, Hans [Editor] Corporation: European Association for Computer Science Logic Event: CSL Published: Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1092 Extent: VIII, 485 S.; graph. Darst; 24 cm Language: English ISBN: 3540613773 RVK notation: SS 4800 : Lecture notes in computer science ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SS 1995 : Veranstaltungsjahr 1995 Keywords: Informatik > Logik Theoretische Informatik Origination: Footnote: CSL'95 was the fourth to be held as the Annual Conference of the EACSL Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 3632 Item ID: 10012318 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order