Handbook of Philosophical Logic [electronic resource] :Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M [editor.]; Guenthner, Franz [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Handbook of Philosophical Logic: 15Publisher: Dordrecht : Springer Netherlands, 2011.Description: XIV, 402 p. online resource.ISBN: 9789400704855.Subject(s): Computer science | Computer vision | Computer Science | Computer Imaging, Vision, Pattern Recognition and Graphics | Philosophy | Linguistics (general)DDC classification: 006.6 Online resources: Click here to access online
Contents:
In:
Springer eBooksSummary: Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Editorial Preface -- Dov M. Gabbay -- Lambda Calculi: A Guide -- Chris Hankin -- Interpolation and Definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse Representation Theory -- Hans Kamp, Josef van Genabith and Uwe Reyle -- Index.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TA1637-1638 (Browse shelf) | Available | ||||
| TK7882.P3 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | T385 (Browse shelf) | Available |
Close shelf browser
| TK7882.P3 Shape from Positional-Contrast | TK7882.P3 Computer and Information Sciences | TK7882.P3 Computational Vision and Medical Image Processing | TK7882.P3 Handbook of Philosophical Logic | TK7882.P3 Deformation Models | TK7882.P3 Software Engineering: A Hands-On Approach | TK7882.P3 Computer Vision and Action Recognition |
Editorial Preface -- Dov M. Gabbay -- Lambda Calculi: A Guide -- Chris Hankin -- Interpolation and Definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse Representation Theory -- Hans Kamp, Josef van Genabith and Uwe Reyle -- Index.
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
There are no comments for this item.