Media type: Book; Conference Proceedings Title: Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; proceedings Contains: Literaturangaben Contributor: Ong, Luke [Hrsg.] Corporation: European Association for Computer Science Logic Event: CSL imprint: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3634 Extent: XI, 565 S.; graph. Darst Language: English ISBN: 3540282319; 9783540282310 Publisher, production or purchase order numbers: Sonstige Nummer: 11538363 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Theoretische Informatik > Logik Computational logic Logische Programmierung Programmierlogik Theoretische Informatik > Logik Computational logic Logische Programmierung Programmierlogik Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7127 Item ID: 31491648 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.