Name: isabelle (en Inglés)
SKU: 3485856
Price: 59.53 USD
Availability: InStock
Author: paulson

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Springer

Autor

paulson

Idioma

Inglés

N° páginas

321

ISBN

3540582444

ISBN13

9783540582441

Categorías

Arquitectura y diseño lógico de ordenadores

isabelle (en Inglés)

Paulson (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 108.24$ 59.53

-45%

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

Libro Nuevo

Quedan más de 100 unidades

$ 59.53

Llega entre el 17 Sep y el 30 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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

as a generic theorem prover, isabelle supports a variety of logics. distinctive features include isabelles representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. isabelle can be applied to reasoning in pure mathematics or verification of computer systems. this volume constitutes the isabelle documentation. it begins by outlining theoretical aspects and then demonstrates the use in practice. virtually all isabelle functions are described, with advice on correct usage and numerous examples. isabelles built-in logics are also described in detail. there is a comprehensive bebliography and index. the book addresses prospective users of isabelle as well as researchers in logic and automated reasoning.