Hasta 40% off y Envío a todo USA y PR por solo $2.99  Ver más

Enviar a
FL
0

Mi Cuenta

es
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

Idioma
esEspañolActual
enEnglish
portada programming with higher-order logic (en Inglés)
Formato
Libro Físico
Autor
Editorial
Idioma
Inglés
Encuadernación
Tapa Dura
Dimensiones
9.09x6.1x0.91 in
Peso
0.54 kg.
ISBN
052187940x
ISBN13
9780521879408
Categorías

programming with higher-order logic (en Inglés)

Dale Miller (Autor) · Gopalan Nadathur (Autor) · Cambridge University Press · Tapa Dura

programming with higher-order logic (en Inglés) - Miller, Dale ; Nadathur, Gopalan

Más barato Libro Nuevo Origen: Estados Unidos
Envío: 9 a 11 días háb.
$ 64.40$ 60.61
-6%
Más rápido Libro Nuevo Origen: Estados Unidos
Envío: 8 a 10 días háb.
$ 73.63$ 69.29
-6%
Libro Nuevo Más barato

Quedan 10 unidades

$ 60.61
Llega entre el 25 Nov y el 02 Dic a FL. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "programming with higher-order logic (en Inglés)"

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

Opiniones del libro

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.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Dura.

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