Constraint Solving Over Multi-valued Logics- 9781586033040


Shipping from 1,99€
tc Pay Accepts tc Pay

Condition of the lot: Very Good (new or like new, without any signs of use)

Este libro aborda los problemas relacionados con los fallos en los componentes de los sistemas, que afectan su comportamiento general. Se desarrollan modelos con lógicas multivaluadas que se formalizan y generalizan a múltiples fallos. Estas lógicas extienden la lógica booleana codificando dependencias en fallos, lo que permite modelar un número arbitrario de teorías de diagnóstico. Se demuestra la efectividad de la resolución de restricciones sobre dominios y conjuntos finitos en varios de los problemas mencionados.
avatar hamelyntechnologies
From 19/09/2022
Spain (Madrid)
Seller registered as a professional.