Handbook of Philosophical Logic [recurso electrónico] : Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.
Tipo de material: TextoSeries Handbook of Philosophical Logic ; 15Editor: Dordrecht : Springer Netherlands, 2011Descripción: XIV, 402 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9789400704855Tema(s): Computer science | Computer vision | Computer Science | Computer Imaging, Vision, Pattern Recognition and Graphics | Philosophy | Linguistics (general)Formatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 006.6 Clasificación LoC:T385TA1637-1638TK7882.P3Recursos en línea: Libro electrónico
Contenidos:
En: Springer eBooksResumen: 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.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | T385 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 378327-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
T385 New Frontiers in Artificial Intelligence | T385 Computer and Information Sciences | T385 Computational Vision and Medical Image Processing | T385 Handbook of Philosophical Logic | T385 Computer Vision and Action Recognition | T385 .F694737 2005 EB AutoCAD 2006 and AutoCAD LT 2006 | T385 .G5424 2011 EB Up and running with AutoCAD 2012. |
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
19