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 Deduction ? CADE-12

Alan Bundy

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 12608737

Editores Springer Berlin Heidelberg, junio 1994

This volume contains the reviewed papers presented at the 12th International Conference on Automated... Descripción completa

Código Libristo: 12608737

139 b

56.59 €

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

Hasta 30 días para devoluciones

Clientes que también han comprado

Aslan Kral Degildir; Kral Olan Aslanlardir sükrullah Dolu

Tapa blanda

12.19 €

La Peste Ecarlate LONDON-J

Tapa blanda

21.99 €

Hecho En Saturno Rita Indiana

Tapa blanda

17.79 €

TRIZ i ARIZ Pawel Astaf'ew

Tapa blanda

35.49 €

Száguldó szerelem Carly Robyn

Tapa dura

11.19 €

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.