عنوان
پدید آورنده
موضوع
رده
QA76.612 .A94 2003eb
QA76
.
612
.
A94
2003eb
کتابخانه
محل استقرار
شابک
شابک
058545860X
شابک
1586033042
شابک
1601294123
شابک
4274905551
شابک
9780585458601
شابک
9781586033040
شابک
9781601294128
شابک
9784274905551
شماره کتابشناسی ملی
شماره
b738123
عنوان و نام پديدآور
عنوان اصلي
Constraint solving over multi-valued logics :
نام عام مواد
[Book]
ساير اطلاعات عنواني
application to digital circuits /
نام نخستين پديدآور
Francisco Azevedo.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Tokyo :
نام ناشر، پخش کننده و غيره
Ohmsha,
تاریخ نشرو بخش و غیره
2003.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xviii, 204 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Frontiers in artificial intelligence and applications ;
عنوان فروست
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence
مشخصه جلد
v. 91
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 145-153).
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
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.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Constraint solving over multi-valued logics.
شماره استاندارد بين المللي کتاب و موسيقي
4274905551
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Constraint programming (Computer science)
موضوع مستند نشده
Digital electronics.
موضوع مستند نشده
Many-valued logic.
موضوع مستند نشده
COMPUTERS-- Programming-- Open Source.
موضوع مستند نشده
COMPUTERS-- Software Development & Engineering-- General.
موضوع مستند نشده
COMPUTERS-- Software Development & Engineering-- Tools.
موضوع مستند نشده
Constraint programming (Computer science)
موضوع مستند نشده
Digital electronics.
موضوع مستند نشده
Many-valued logic.
مقوله موضوعی
موضوع مستند نشده
COM-- 051230
موضوع مستند نشده
COM-- 051390
موضوع مستند نشده
COM-- 051440
موضوع مستند نشده
TK
رده بندی ديویی
شماره
005
.
116
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
612
نشانه اثر
.
A94
2003eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Azevedo, Francisco.
مبدا اصلی
تاريخ عمليات
20201203231902.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
