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: 01562445
Price: 112.79 EUR
Availability: InStock
Author: Ulrich Furbach
ISBN: 9783540371878

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ulrich Furbach

Natarajan Shankar

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01562445

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2006

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Descripción completa

Código Libristo: 01562445

276 b

112.79 €

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

Hasta 30 días para devoluciones

Clientes que también han comprado

Spieltheorie fur Dummies Erwin Amann

Tapa blanda

16.49 €

Velké logopedické pexeso 2 Ilona Eichlerová

Tapa blanda

6.89 €

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding

Tapa blanda

154.89 €

Mirai Nikki 06 Sakae Esuno

Tapa blanda

10.29 €

Wheatgrass: (Hierba de Trigo) Neil Stevens

Tapa blanda

9.79 €

Guia Practica del Rolex Vintage Colin A. Whte

Tapa blanda

45.59 €

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.