عنوان
پدید آورنده
موضوع
رده
QA76.612 .A94 2003eb
QA76
.
612
.
A94
2003eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
058545860X
(Number (ISBN
1586033042
(Number (ISBN
1601294123
(Number (ISBN
4274905551
(Number (ISBN
9780585458601
(Number (ISBN
9781586033040
(Number (ISBN
9781601294128
(Number (ISBN
9784274905551
NATIONAL BIBLIOGRAPHY NUMBER
Number
b738123
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Constraint solving over multi-valued logics :
General Material Designation
[Book]
Other Title Information
application to digital circuits /
First Statement of Responsibility
Francisco Azevedo.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Tokyo :
Name of Publisher, Distributor, etc.
Ohmsha,
Date of Publication, Distribution, etc.
2003.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xviii, 204 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Frontiers in artificial intelligence and applications ;
Series Title
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence
Volume Designation
v. 91
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 145-153).
CONTENTS NOTE
Text of Note
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
SUMMARY OR ABSTRACT
Text of Note
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.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
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.
OTHER EDITION IN ANOTHER MEDIUM
Title
Constraint solving over multi-valued logics.
International Standard Book Number
4274905551
TOPICAL NAME USED AS SUBJECT
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.
(SUBJECT CATEGORY (Provisional
COM-- 051230
COM-- 051390
COM-- 051440
TK
DEWEY DECIMAL CLASSIFICATION
Number
005
.
116
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
612
Book number
.
A94
2003eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Azevedo, Francisco.
ORIGINATING SOURCE
Date of Transaction
20201203231902.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
