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.
| Основен автор: | Azevedo, Francisco. |
|---|---|
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
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. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 |
| Подобни документи: |
Print version::
Constraint solving over multi-valued logics. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87528 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.612 .A94 2003eb |
|---|