Compartir
automated deduction - cade-18 (en Inglés)
$ 96.930
$ 134.630
Ahorras: $ 37.700
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 17 de Mayo y el
Martes 28 de Mayo.
Lo recibirás en cualquier lugar de Chile 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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
✓ Producto agregado correctamente al carro, Ir a Pagar.