Selecciona tu país

América

Europa

Resto del mundo

portada Automated Theorem Proving: Theory and Practice (en Inglés)

Automated Theorem Proving: Theory and Practice (en Inglés)

Formato

Libro Físico

Autor

Monty Newborn

Editorial

Springer

Idioma

Inglés

N° páginas

231

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.3 cm

Peso

0.35 kg.

ISBN13

9781461265191

Categorías

Lógica matemática
Teoría matemática de la computación
Aprendizaje automático («machine learning»)

Automated Theorem Proving: Theory and Practice (en Inglés)

Monty Newborn (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 220.95$ 110.47

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 110.47

Llega entre el 08 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Automated Theorem Proving: Theory and Practice (en Inglés)"

This new book carefully describes how automated reasoning is performed. It introduces all necessary analytical and mathematical tools to discuss basic inference rules of binary resolution and binary factoring. Two computer programs and source code are provided to use as examples. Advanced students, professionals and researchers in computer science, computer engineering, artificial intelligence and logic programming will find the book a useful text/reference.