Name: automated deduction - cade-18 (en Inglés)
Price: 1298.01 MXN
Availability: InStock
ISBN: 9783540439318

Envío gratis

portada automated deduction - cade-18 (en Inglés)

Formato

Libro Físico

Editorial

springer publishing map

Idioma

Inglés

N° páginas

534

ISBN

3540439315

ISBN13

9783540439318

Categorías

Sistemas basados en el conocimiento

automated deduction - cade-18 (en Inglés)

Libro Nuevo

$ 1,298.01

$ 2,163.35

Ahorras: $ 865.34

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 29 de Mayo y el Martes 11 de Junio.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "automated deduction - cade-18 (en Inglés)"

this book constitutes the refereed proceedings of the 18th international conference on automated deduction, cade - 18, held in copenhagen, denmark, in july 2002.the 27 revised full papers and 10 system descriptions presented together with three invited contributions were carefully reviewed and selected from 70 submissions. the book offers topical sections on description logics and the semantic web, proofcarrying code and compiler verifications, non-classical logics, system descriptions, sat, model generation, casc, combination and decision procedures, logical frameworks, model checking, equational reasoning, and proof theory.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes