portada many-valued logics 2: automated reasoning and practical applications (en Inglés)

many-valued logics 2: automated reasoning and practical applications (en Inglés)

Formato

Libro Físico

Autor

Leonard Bolc

Piotr Borowik

Editorial

Springer

Año

2010

Idioma

Inglés

N° páginas

303

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.7 cm

Peso

0.44 kg.

ISBN

3642084176

ISBN13

9783642084171

Categorías

Lógica matemática
Programación informática/desarrollo de software
Arquitectura y diseño lógico de ordenadores

many-valued logics 2: automated reasoning and practical applications (en Inglés)

Leonard Bolc (Autor) · Piotr Borowik (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 108.45$ 54.22

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 54.22

Llega entre el 11 Sep y el 24 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "many-valued logics 2: automated reasoning and practical applications (en Inglés)"

Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.