Media type: Book; Conference Proceedings Title: Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 ; proceedings Contributor: Cooper, Stuart B. [Editor]; Löwe, Benedikt [Other]; Sorbi, Andrea [Other] Event: Conference on Computability in Europe Published: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4497 Extent: XVIII, 826 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540730001; 9783540730002 Publisher, production or purchase order numbers: Sonstige Nummer: 12075188 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Theoretische Informatik Berechnungstheorie Komplexitätstheorie Logik > Berechenbarkeit Theoretische Informatik Berechnungstheorie Komplexitätstheorie Logik > Berechenbarkeit Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8384 Item ID: 31615265 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order