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 for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02267768
Price: 56.59 EUR
Availability: InStock
Author: Ken McMillan
ISBN: 9783642452208

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Ken McMillan

Aart Middeldorp

Andrei Voronkov

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02267768

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2013

This book constitutes the proceedings of the 19th International Conference on Logic for Programming,... Descripción completa

Código Libristo: 02267768

139 b

56.59 €

Almacenamiento externo Envío en 8-11 días

Política de devolución de 30 días

Clientes que también han comprado

Trait pour trait - Catalogue de l'exposition Montfort

Libro

54.49 €

Manuale di diritto dei consumi

Tapa blanda

42.79 €

Warum sexualisierte Gewalt nicht angezeigt wird Eva Kubitza

Tapa blanda

20.89 €

Randglossen zur hebräischen Bibel Arnold Bogumil Ehrlich

Tapa blanda

42.29 €

Prepare Level 9 Teacher’s Book with Digital Pack Rod Fricker

Libro

98.50 €

Puzzle 1000 Spicy Table 6000-5624

Juego

15.29 €

Invicto MARCOS VAZQUEZ GARCIA

Tapa blanda

20.39 €

Les jeunes femmes de 50 ans Desclaux

Tapa blanda

13.49 €

Métodos de enseñanza de la lectoescritura en la Educación Primaria Oscar Ovidio Calzadilla Pérez

Tapa blanda

38.49 €

Denkschriften - Österreichische Akademie Der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, Volume 74... Österreichische Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse

Tapa blanda

34.79 €

Arquitectura contemporánea en el patrimonio histórico GUIRNALDOS

Tapa blanda

47.49 €

Gramática parda Juan García Hortelano

Tapa blanda

12.49 €

Note Sur l'Inoculation Variolique Et La Vaccination Par Le Dr Omer Marquez, Marquez-O

Tapa blanda

14.19 €

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.