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.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656184
Price: 119.39 EUR
Availability: InStock
Author: Jürgen Giesl
ISBN: 9783642142024

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jürgen Giesl

Reiner Hähnle

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01656184

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

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate... Descripción completa

Código Libristo: 01656184

292 b

119.39 €

Almacenamiento externo en pequeñas cantidades Envío en 9-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

grande vuoto di un piccolo amico. Quando gli animali ci lasciano Jeffrey Moussaieff Masson

Tapa dura

28.69 €

Die Kunst des Zeichnens - Das Standardwerk Frechverlag

Tapa dura

26.29 €

Einführung in die Kautschuktechnologie Georg Abts

Tapa dura

72.49 €

Je valorise mes déchets verts au jardin Denis Pépin

Tapa blanda

21.89 €

Entwicklung von Autonomie und Paternalismus Hugo Esteva

Tapa blanda

39.39 €

INT.DINAMICA KEYNESI KURIHAR

Libro

5.89 €

Whisky-Witze Wolfgang F. Rothe

Tapa dura

18.79 €

AULAS INCLUSIVAS Mª EUGENIA PEREZ

Tapa dura

54.59 €

L'' cole Normale Romuald Normand

Tapa blanda

96.29 €

String Quartets 1+2 Shostakovich Quartet

CD de audio

7.49 €

Nueva Gramatica de la Lengua Espanola Manual Real Academia Espanola

Tapa blanda

26.09 €

Her Sey Allah&#305 Hekimoglu ismail

Tapa blanda

7.39 €

UEber Nithards Gerold Meyer Von Knonau

Tapa blanda

17.79 €

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination.