Venta Flash hasta 80% dcto y envío a luka en libros seleccionados.  Ver más

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada theorem proving in higher order logics (en Inglés)
Formato
Libro Físico
Idioma
Inglés
N° páginas
339
ISBN
3540633790
ISBN13
9783540633792

theorem proving in higher order logics (en Inglés)

Libro Nuevo

$ 76.420

$ 127.360

Ahorras: $ 50.940

40% descuento
  • Estado: Nuevo
  • Quedan 63 unidades
Origen: Estados Unidos (Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el Jueves 30 de Mayo y el Martes 11 de Junio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "theorem proving in higher order logics (en Inglés)"

this book constitutes the refereed proceedings of the 10th international conference on theorem proving in higher order logics, tphols 97, held in murray hill, nj, usa, in august 1997.the volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. the papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include coq, hol, isabelle, lego, and pvs.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
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