Media type: Book; Conference Proceedings Title: Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings Contributor: Grädel, Erich [Hrsg.]; Kahle, Reinhard [Other] Corporation: European Association for Computer Science Logic Event: CSL imprint: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5771 Extent: XI, 565 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642040268; 9783642040269 Publisher, production or purchase order numbers: Sonstige Nummer: 12746989 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Theoretische Informatik > Logik Computational logic Logische Programmierung Programmierlogik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 682 Item ID: 32537786 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order