TY  - GEN
T1  - Constraint solving over multi-valued logics : application to digital circuits
T2  - Frontiers in artificial intelligence and applications ;
T2  - Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
A1  - Azevedo, Francisco
LA  - English
PP  - Amsterdam ; Washington, DC : Tokyo
PB  - IOS ; Ohmsha
YR  - 2003
UL  - https://ebooks.jgu.edu.in/Record/ebsco_acadsubs_ocm53011694
AB  - Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults.
OP  - 204
CN  - QA76.612 .A94 2003eb
SN  - 058545860X
SN  - 9780585458601
SN  - 9781586033040
SN  - 1586033042
SN  - 9784274905551
SN  - 4274905551
SN  - 9781601294128
SN  - 1601294123
KW  - Constraint programming (Computer science)
KW  - Many-valued logic.
KW  - Digital electronics.
KW  - Programmation par contraintes.
KW  - Logique multivalente.
KW  - Électronique numérique.
KW  - COMPUTERS : Programming : Open Source.
KW  - COMPUTERS : Software Development & Engineering : Tools.
KW  - COMPUTERS : Software Development & Engineering : General.
KW  - Digital electronics
KW  - Many-valued logic
ER  -