منو
رکورد قبلیرکورد بعدی

" Constraint solving over multi-valued logics : "


Document Type : BL
Record Number : 983753
Doc. No : b738123
Main Entry : Azevedo, Francisco.
Title & Author : Constraint solving over multi-valued logics : : application to digital circuits /\ Francisco Azevedo.
Publication Statement : Amsterdam ;Washington, DC :: IOS ;Tokyo :: Ohmsha,, 2003.
Series Statement : Frontiers in artificial intelligence and applications ;; v. 91
: Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence
Page. NO : 1 online resource (xviii, 204 pages) :: illustrations.
ISBN : 058545860X
: : 1586033042
: : 1601294123
: : 4274905551
: : 9780585458601
: : 9781586033040
: : 9781601294128
: : 9784274905551
Bibliographies/Indexes : Includes bibliographical references (pages 145-153).
Contents : Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics.
Abstract : 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.
Subject : Constraint programming (Computer science)
Subject : Digital electronics.
Subject : Many-valued logic.
Subject : COMPUTERS-- Programming-- Open Source.
Subject : COMPUTERS-- Software Development Engineering-- General.
Subject : COMPUTERS-- Software Development Engineering-- Tools.
Subject : Constraint programming (Computer science)
Subject : Digital electronics.
Subject : Many-valued logic.
Dewey Classification : ‭005.116‬
LC Classification : ‭QA76.612‬‭.A94 2003eb‬
copyhttps://lib.clisel.com/site/catalogue/983753
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟