Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Logic, Language, Information and Computation

Name: Logic, Language, Information and Computation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568030
Price: 107.69 EUR
Availability: InStock
Author: Wilfrid Hodges
ISBN: 9783540699361

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Wilfrid Hodges

Ruy de Queiroz

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01568030

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2008

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book co... Descripción completa

Código Libristo: 01568030

264 b

107.69 €

Almacenamiento externo Envío en 9-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Geschichte des Kaiser Alexander Garde Grenadier Regiments Nr. 1 Adolf von Kries

Tapa blanda

27.19 €

L'Operation Barbarossa Mac

MP3

5.89 €

Quantenkörper Jack Tuszynski

Tapa dura

23.09 €

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.§The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.