Constraint solving over multi-valued logics : application to digital circuits /
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.
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Licensed eBooks |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Amsterdam ; Washington, DC : Tokyo :
IOS ; Ohmsha,
2003.
|
| Շարք: | Frontiers in artificial intelligence and applications ;
v. 91. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Առցանց հասանելիություն: | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 |
| Ամփոփում: | 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. |
|---|---|
| Ֆիզիկական նկարագրություն: | 1 online resource (xviii, 204 pages) : illustrations |
| Ձևաչափ: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Մատենագիտություն: | Includes bibliographical references (pages 145-153). |
| ISBN: | 058545860X 9780585458601 9781586033040 1586033042 9784274905551 4274905551 9781601294128 1601294123 |