Name: Logical Frameworks (en Inglés)
SKU: 19188848
Price: 149.84 USD
Availability: InStock
Author: Huet; Plotkin

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Huet; Plotkin

Año

1991

Idioma

Inglés

N° páginas

416

Encuadernación

Tapa Dura

ISBN

0521413001

ISBN13

9780521413008

N° edición

Categorías

Programación informática/desarrollo de software

Logical Frameworks (en Inglés)

Huet; Plotkin (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 299.68$ 149.84

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 149.84

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logical Frameworks (en Inglés)"

This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.