Media type: Book; Conference Proceedings Title: Computer science logic : 14th international workshop ; CSL 2000 ; annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings Contributor: Clote, Peter [Editor]; Schwichtenberg, Helmut [Other] Corporation: European Association for Computer Science Logic Event: CSL Published: Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1862 Extent: XIII, 541 S.; graph. Darst; 24 cm Language: English ISBN: 3540678956 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logik > Theoretische Informatik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4982 Item ID: 30080088 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order