Name: Symbolic Logic and Mechanical Theorem Proving (en Inglés)
SKU: 7578958
Price: 1379.44 MXN
Availability: InStock
Author: Chin-Liang Chang; Richard C. Lee
ISBN: 9780121703509

portada Symbolic Logic and Mechanical Theorem Proving (en Inglés)

Symbolic Logic and Mechanical Theorem Proving (en Inglés)

Formato

Libro Físico

Editorial

Elsevier

Autor

Chin-Liang Chang; Richard C. Lee

Año

1997

Idioma

Inglés

N° páginas

352

Encuadernación

Tapa Dura

ISBN

121703509

ISBN13

9780121703509

N° edición

Categorías

Matemáticas discretas

Symbolic Logic and Mechanical Theorem Proving (en Inglés)

Chin-Liang Chang; Richard C. Lee (Autor) · Elsevier · Tapa Dura

Libro Nuevo Importado

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

$ 2,299.07$ 1,379.44

-40%

Libro UsadoBuen Estado Importado

Envío: 11 a 15 días háb.

$ 998.12

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

Libro Nuevo

Quedan 100 unidades

$ 1,379.44

¡Envío Gratis! Llega entre el 06 Oct y el 15 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Symbolic Logic and Mechanical Theorem Proving (en Inglés)"

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.