
di Francisco Azevedo · IOS Press,US · tapa blanda · ISBN 9781586033040

IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Constraint Solving Over Multi-valued Logics: Application to Digital Circuits» è lo studio tecnico di Francisco Azevedo, in brossura, in inglese.
Studia sistemi in cui i guasti dei componenti si manifestano in uscita solo per certi ingressi, ponendo problemi di test e diagnosi. Sviluppa modelli con logiche multivalore che estendono la logica booleana codificando le dipendenze tra guasti, e li generalizza a situazioni con guasti multipli. La risoluzione di vincoli su domini e insiemi finiti si dimostra efficace in diversi di questi problemi.
Volume 91 della serie Frontiers in Artificial Intelligence and Applications. Pubblicato originariamente nel 2002, consta di 224 pagine.
Rivolto a ricercatori, ingegneri e studenti di dottorato in intelligenza artificiale, elettronica e diagnosi di circuiti.

Tapa blanda
