Gabbay, Dov M.
Handbook of Philosophical Logic Volume 15 / [electronic resource] : edited by Dov M. Gabbay, Franz Guenthner. - XIV, 402 p. online resource. - Handbook of Philosophical Logic ; 15 . - Handbook of Philosophical Logic ; 15 .
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
9789400704855
10.1007/978-94-007-0485-5 doi
Computer science.
Computer vision.
Computer Science.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Philosophy.
Linguistics (general).
T385 TA1637-1638 TK7882.P3
006.6
Handbook of Philosophical Logic Volume 15 / [electronic resource] : edited by Dov M. Gabbay, Franz Guenthner. - XIV, 402 p. online resource. - Handbook of Philosophical Logic ; 15 . - Handbook of Philosophical Logic ; 15 .
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
9789400704855
10.1007/978-94-007-0485-5 doi
Computer science.
Computer vision.
Computer Science.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Philosophy.
Linguistics (general).
T385 TA1637-1638 TK7882.P3
006.6